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

PolyKinds06.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 type declaration for `B'