3 ms·Of course not. But it still has a type. Functor f => (a -> b) -> f a -> f bby asdkjh345fd 6y agoOf course not. But it still has a type. Functor f => (a -> b) -> f a -> f b