[ghc-steering-committee] Please review #425: Invisible binders in type declarations, Shepherd: Richard