Showing that `newtype T a = T (a -> Int)` is a Type Constructor that is Not a Functor

Viewed 360

It's been claimed that newtype T a = T (a -> Int) is a type constructor that is not a functor (but is a contravariant functor). How so? Or what is the contravariant functor (whence I assume it will be obvious why this can't be made a normal functor)?

3 Answers
Related