[broken] working on templated output types for ControlGenerators