T2157.hs:7:15: error:
    • The type synonym ‘S’ should have 2 arguments, but has been given 1
    • In the type instance declaration for ‘F’