T11355.hs:5:7: error: [GHC-91510]
    • Illegal polymorphic type: forall a. a
    • In the expression:
        const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
      In an equation for ‘foo’:
          foo
            = const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
    Suggested fix: Perhaps you intended to use ImpredicativeTypes