:1:1: error: [GHC-91510] Illegal polymorphic type: forall a. a -> a Suggested fix: Perhaps you intended to use ImpredicativeTypes