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


Compilation had errors