Add hoistF

Currently there isn't `hoistF :: (forall x. f x -> g x) => F f a -> F g a`, but my library (under development) needs it :)