<div dir="ltr"><div>What the subject says, add<br><br></div>    type f ~> g = forall a. f a -> g a<br><div><br></div><div>to ‘base’. Further motivation (and arguments against) in GHC Trac ticket 12772 [1].<br></div><div><br>[1] <a href="https://ghc.haskell.org/trac/ghc/ticket/12772">https://ghc.haskell.org/trac/ghc/ticket/12772</a><br></div></div>