tcfail014.hs:5: Cannot construct the infinite type (occur check)
		    `oaBR' = `oaBR -> oaCz'
    Expected: `oaBR'
    Inferred: `oaBR -> oaCz'
    In the first argument of `z', namely `z'
    In an equation for function `h': `h z = z z'
    In an equation for function `g':
	`g y
	   = h PrelBase.+ 2
	   where
	       h z = z z'
 
tcfail014.hs:5: No instance for: `PrelBase.Num (taCk -> taCl)'
    arising from use of `PrelBase.+' at tcfail014.hs:5


Compilation had errors