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