identity1.ml
seqes
1 2 3 4 type !'a mon = 'a type !'a t = 'a let return x = x let bind x f = f x
1 2 3 4
type !'a mon = 'a type !'a t = 'a let return x = x let bind x f = f x