[ghc-steering-committee] Please review #641: Wildcard binders in type declarations