template<typename Rule, apply_mode A, rewind_mode M, template<typename...> class Action, template<typename...> class Control, dusel_mode = dusel_mode::NOTHING>
duseltronik struct