And he never typed "(<$$>) :: Functor f => Functor g => (a -> b) -> g (f a) -> g (f b)\n(<$$>) = fmap fmap fmap" again.
Renamed to 'functor-infix', for consistency with module naming.
Provided explicit TH imports.