Beating typescript, flow, and elm into supporting higher-kinded types:
- https://gist.github.com/gcanti/2b455c5008c2e1674ab3e8d5790cdad5/
- https://medium.com/@gcanti/another-better-way-to-get-higher-kinded-types-in-typescript-648d35f02f7a
- https://medium.com/@gcanti/higher-kinded-types-in-flow-275b657992b7
- https://github.com/joneshf/elm-brands