Can the initialize combinators simply know that they're initializers and be placed at the top level? That would remove a level of indenting. I don't think any of the initializers can be used as actions. Or they could use a generic to overload based on whether they get a Daisho or not.