T11142.hs:9:49: error:
• Expected kind ‘k1’, but ‘b’ has kind ‘k0’
• In the second argument of ‘SameKind’, namely ‘b’
In the type signature:
foo :: forall b. (forall k (a :: k). SameKind a b) -> ()
T11142.hs:10:7: error:
• Cannot instantiate unification variable ‘a0’
with a type involving polytypes:
(forall k1 (a :: k1). SameKind a b) -> ()
GHC doesn't yet support impredicative polymorphism
• In the expression: undefined
In an equation for ‘foo’: foo = undefined
• Relevant bindings include
foo :: (forall k1 (a :: k1). SameKind a b) -> ()
(bound at T11142.hs:10:1)