https://dusted.codes/the-type-system-is-a-programmers-best-friend