
tcfail004.hs:3:9:
    Couldn't match expected type `(t0, t1)'
                with actual type `(t2, t3, t4)'
    In the expression: (1, 2, 3)
    In a pattern binding: (f, g) = (1, 2, 3)
