Module Monadic.Atom

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

    *)