> What's unintuitive about the definition of <$!> above? It's seems like the only sensible one. Well, call it bikeshedding, but '<$!>' would be defined for Monad and the name might suggest, that it's defined for Functor.