Module Automaton.Mode

type (!'u, !'s) t =
  1. | Single
  2. | Many