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