tcfail196.hs:5:8: error: [GHC-91510]
    • Illegal polymorphic type: forall a. a
    • In the type signature: bar :: Num (forall a. a) => Int -> Int
    Suggested fix: Perhaps you intended to use ImpredicativeTypes