Given all this, use a dumb old macro to make a simpler interface with a macro that expands to type safe code. That will save a lot of unnecessary syntactical no

Given all this, use a dumb old macro to make a simpler interface with a macro that expands to type safe code. That will save a lot of unnecessary syntactical noise and overwinter you until better pattern matching support comes along.