Tue Dec 6 14:41:04 EST 2011

Missing _letrec for Value

The Y combinator seems to not work with the monadic types.

Is this it?  Non-monadic:

  _letrec open body = closed where
    closed = open closed


  _letrec open body = do
    closed <- mclosed
    body closed
      mclosed = do
        closed <- mclosed
        open closed


  _letrec open body = app body mfix where
    mfix = app open mfix
    app f mfix = do {fix <- mfix ; f fix}