Can we rely on `(Monad m) => (Applicative m) => (Functor m)` and just use `<$>`?