monads

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

fst (x,y) computes x

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

snd (x,y) computes y