I propose that we can extend Mirrors to operations, and use the most natural DSL of all - plain trait definitions.
Let's meet before Scalar!