What the subject says, add

    type f ~> g = forall a. f a -> g a

to ‘base’. Further motivation (and arguments against) in GHC Trac ticket 12772 [1].

[1] https://ghc.haskell.org/trac/ghc/ticket/12772