https://gregorias.github.io/posts/the-joy-of-static-type-systems-and-testing/