SimpleFail1a.hs:4:1:
    Number of parameters must match family declaration; expected 2
    In the data type instance declaration for `T1'