tcfail004.hs:3:1: error:
    • Couldn't match expected type: (a0, b0, c0)
                  with actual type: (a, b)
    • In the pattern: (f, g)
      In a pattern binding: (f, g) = (1, 2, 3)