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