[asdkjh345fd]

Of course not. But it still has a type.

Functor f => (a -> b) -> f a -> f b