io.dylemma.spac
Generalization for event types that can be interpreted as a "push" or "pop" to a stack.
Type-level tuple reduction function that treats Unit as an Identity.
Unit