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