monads

A missing monad library
IN THIS PACKAGE
Module Monads . Std . Monad . Result . Make2 . Triple
val fst : ( 'a * 'b * 'c, 'e ) T2(M).t -> ( 'a, 'e ) T2(M).t

fst (x,y,z) computes x

val snd : ( 'a * 'b * 'c, 'e ) T2(M).t -> ( 'b, 'e ) T2(M).t

snd (x,y,z computes y

val trd : ( 'a * 'b * 'c, 'e ) T2(M).t -> ( 'c, 'e ) T2(M).t

trd (x,y,z) computes z