
29 Mar
2011
29 Mar
'11
10:03 p.m.
Antoine Latter
It looks like we can't quite fit Enumeratee into the Category typeclass (without newtypes, at least). That's a shame.
Yeah. Intuitively it looks like iteratees and enumeratees are excellent candidates for Category and even Arrow. Unfortunately they can either be monad transformers or arrows. You can't mix without, as you said, a newtype. That's very unfortunate. Greets, Ertugrul -- nightmare = unsafePerformIO (getWrongWife >>= sex) http://ertes.de/