Fast-circuit monad