tcfail005.hs:3:
    Couldn't match `[t]' against `(t1, t2)'
	Expected type: [t]
	Inferred type: (t1, t2)
    in a pattern binding: (1, 'a')