tcfail094.hs:7:14:
    Illegal literal in type (use -XDataKinds to enable): 1