tcfail002.hs:4: Cannot construct the infinite type (occur check)
		    `tak5' = `[tak5]'
    Expected: `[tak5] -> tak5'
    Inferred: `[tak5] -> [tak5]'
    In an equation for function `c': `c z = z'


Compilation had errors