tcfail129.hs:12:21: error:
    • The type synonym ‘Foo’ should have 1 argument, but has been given none
    • In an expression type signature: Bar Foo
      In the expression: undefined :: Bar Foo
      In an equation for ‘blah’: blah = undefined :: Bar Foo

tcfail129.hs:17:22: error:
    • The type synonym ‘Foo1’ should have 1 argument, but has been given none
    • In an expression type signature: Bar1 Foo1
      In the expression: undefined :: Bar1 Foo1
      In an equation for ‘blah1’: blah1 = undefined :: Bar1 Foo1