@chaos_monster
@lxztlr
@kotzendekrabbe
@typescript You were talking about interfaces,
but I guess you want to generate runtime checks from them?

The problem is that TypeScripts type are too limited for that, so what are you
proposing?