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