https://www.youtube.com/watch?v=VQnmq2TgTpo
https://varkor.github.io/blog/2019/03/28/idiomatic-monads-in-rust.html
https://code.lol/post/programming/higher-kinded-types/
https://typelevel.org/blog/2016/08/21/hkts-moving-forward.html
https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf