22 Nov
2007
22 Nov
'07
1:22 p.m.
On 22 Nov 2007, at 10:17 AM, Maurí cio wrote:
Hi,
If I have two computations a->IO b and b->IO c, can I join them to get an a->IO c computation? I imagine something like a liftM dot operator.
This is called Kleisli composition, by the way; it's defined as (>=>) in Control.Monad. jcc