Comonadic.Atom
type 'a t =
| Meet_with of 'a
Meet_with c takes x and returns meet c x. c can be max in which case it's the identity modality.
Meet_with c
x
meet c x
c
max