T16059e.hs:15:6: error: [GHC-91510]
    • Illegal polymorphic type: forall a. a
    • In the expansion of type synonym ‘Foo’
      In the expansion of type synonym ‘Const’
      In the type signature: g :: Const Foo Foo -> Int
    Suggested fix: Perhaps you intended to use RankNTypes