tcfail028.hs:4:
    Couldn't match the kind ** against kaPY -> *
    Expected: **
    Found:    kaPY -> *
    In the type `A a'
    In the data declaration for `A'


Compilation had errors