13 Apr
2012
13 Apr
'12
3:53 p.m.
On Fri, Apr 13, 2012 at 7:49 AM, Johannes Waldmann < waldmann@imn.htwk-leipzig.de> wrote:
type Computer a b = ( a -> IO ( Maybe b ) ) type Transformer a b c d = Computer a ( b, c -> d )
Computer looks like Kleisli (MaybeT IO), which would be a valid instance of Arrow.