read003.hs:4:
    Occurs check: cannot construct the infinite type: t = (t, [a], t1)
	Expected type: (t, [a], t1)
	Inferred type: t
    In a pattern binding: a