Took me a bit thinking through it all, but I arrived at the same place as the author in the end - use the pattern matching system, and if the types don't match

Took me a bit thinking through it all, but I arrived at the same place as the author in the end - use the pattern matching system, and if the types don't match then the block you're dispatched to just raises an error. The rest is just finding a satisfying syntax.