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

PolyKinds07.hs:10:11:
    Opaque thing `A1' used as a type
    In the type `B A1'
    In the definition of data constructor `B1'
    In the data type declaration for `B'