Simon Peyton Jones pushed new branch wip/substitution-via-mapper at Glasgow Haskell Compiler / GHC