https://mdhughes.tech/2018/07/06/bring-out-the-type-system/