tcfail094.hs:7:14:
    Illegal type: ‘1’ Perhaps you intended to use DataKinds