blog/posts-wip/quox-type-system.md