Torsten Schmits pushed new branch wip/torsten.schmits/implicit-forall-old at Glasgow Haskell Compiler / GHC