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