tcfail002.hs:4:
    Occurs check: cannot construct the infinite type: t = [t]
	Expected type: t
	Inferred type: [t]
    In the right-hand side of an equation for `c': z