When developing an application, configuration formats and internal data-structures typically evolve between versions. However, maintaining backwards compatability between these versions requires declaring and maintaining data-structures for legacy formats and code for migrating between them. Obake aims to make this process effortless.

Actually, subtype-checking in Java is Turing-complete. Someone proved this and used the result to build a parser generator for fluent interfaces. [1]

[1] https://arxiv.org/pdf/1605.05274.pdf

I was unaware of typenum until I started showing people this - I'm actually amazed at the level of effort that's gone into it.

You didn't need this, you didn't want this, but here we are.

...and now that you've seen it, you can't unsee it.