Discrete Lawvere theories and monads | Synapse