def IO.bind

Base · base.bend:170

170def IO.bind(-A: Type, -B: Type, m: IO(A), f: A -> IO(B)) -> IO(B):
171  R => k => m(R, x => f(x, R, k))