3 --================================================================================
6 `_/\_ a{-r44-} -> \ tpl tpl ->
8 {_@_ a{-r44-} tpl tpl}'
10 `_/\_ a{-r44-} -> \ tpl tpl ->
12 {_@_ a{-r44-} tpl tpl}'
13 AbsBinds [`a{-aKg-}'] [] [([`a{-aKg-}'], `$d1', `d.Eval')]
22 AbsBinds [] [] [([], `tickI', `tickI')]
24 `n' = `\ s0 -> IMonadOk
28 [`t{-aJ6-}', `a{-aIN-}', `a{-aIR-}']
30 [([`t{-aJ6-}', `a{-aIN-}', `a{-aIR-}'], `thenI', `thenI')]
32 `m' `k' = `\ s0 -> case m s0 of
39 AbsBinds [`a{-aJg-}'] [] [([`a{-aJg-}'], `failI', `failI')]
41 `msg' = `\ s0 -> IMonadFail
44 AbsBinds [`a{-aJn-}'] [] [([`a{-aJn-}'], `returnI', `returnI')]
46 `r' = `\ s0 -> IMonadOk
50 [`t{-aJz-}', `t{-aJC-}']
52 [([`t{-aJz-}', `t{-aJC-}'], `mapI', `mapI')]
60 `f' (`x' `PrelBase.:' `xs')
62 [IMonadState, [t{-aJz-}], t{-aJz-}]
65 [IMonadState, [t{-aJz-}], [t{-aJz-}]]
74 NOTE: Simplifier still going after 4 iterations; bailing out.