monads

A missing monad library
IN THIS PACKAGE
Module Monads . Std . Monad . State . Make . Pair
val fst : ('a * 'b) T1(T)(M).t -> 'a T1(T)(M).t

fst (x,y) computes x

val snd : ('a * 'b) T1(T)(M).t -> 'b T1(T)(M).t

snd (x,y) computes y