2 tcfail014.hs:5: Cannot construct the infinite type (occur check)
3 `oaBR' = `oaBR -> oaCz'
5 Inferred: `oaBR -> oaCz'
6 In the first argument of `z', namely `z'
7 In an equation for function `h': `h z = z z'
8 In an equation for function `g':
14 tcfail014.hs:5: No instance for: `PrelBase.Num (taCk -> taCl)'
15 arising from use of `PrelBase.+' at tcfail014.hs:5
18 Compilation had errors