On Fri, Apr 13, 2012 at 7:49 AM, Johannes Waldmann < [email protected]> 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.
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
