1 2 3 4
TyFamArity2.hs:4:1: Number of parameters must match family declaration; expected 1 In the type synonym instance declaration for `T'