No matches were found for subject:"RE\: GHC 6.12.1 and impredicative polymorphism"