SimpleFail1b.hs:4:1:
Number of parameters must match family declaration; expected no more than 2
In the data instance declaration for ‛T1’