path: root/testsuite/tests/polykinds/PolyKinds07.stderr

PolyKinds07.hs:10:11:
    Promoted kind `A1' used in a mutually recursive group
    In the type `B A1'
    In the definition of data constructor `B1'
    In the data declaration for `B'