@mikekelly85 But I'm fearful about the amount of indirections, explicit and implicit, required to describe how a particular case maps to it