Source file identity1.ml

type !'a mon = 'a
type !'a t = 'a
let return x = x
let bind x f = f x