[ksherlock]

Pattern matching might be similar to this: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n344...

Source code (implemented with a lot of help from C macros): https://github.com/snaewe/typeswitch