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