1 2 3 4
<interactive>:1:1: error: Illegal polymorphic type: forall a. a -> a Perhaps you intended to use ImpredicativeTypes