[<<][rtl][>>][..]
Sun Jun 17 03:07:04 EDT 2018

MonadFix?

ArrowLoop is defined for Kleisli if MonadFix works.

Wont work for fixReg, because it's still an actual fixed point operator.

http://hackage.haskell.org/package/base-4.11.1.0/docs/Control-Monad-Fix.html

purity
    mfix (return . h) = return (fix h)

if h :: a -> a




[Reply][About]
[<<][rtl][>>][..]