Module Monadic.Atom

type 'a t =
  1. | 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.

    *)