1 2 3 4
tcfail100.hs:7:1: Type synonym `A' should have 1 argument, but has been given none In the type declaration for `B'