A simple static type-switch / pattern matching library.