Monadic.Atom
type 'a t =
| Join_const of 'a
Join_const c takes x and returns join c x. c can be min in which case it's the identity modality.
Join_const c
x
join c x
c
min