monads

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

fst (x,y) computes x

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

snd (x,y) computes y