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