:1:1: error: Illegal polymorphic type: forall a. a -> a GHC doesn't yet support impredicative polymorphism