freizl
commented
5 years ago - Fun with type functions
- Constrained Type Families
- Closed Type Families with Overlapping Equations
- https://www.microsoft.com/en-us/research/uploads/prod/2019/03/unsaturated-type-families-icfp-2019.pdf
- Type Checking with Open Type Functions
- Associated Type Synonyms
- https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/type-families-and-pokemon
- https://wiki.haskell.org/GHC/Type_families
- https://serokell.io/blog/type-families-haskell
- https://diogocastro.com/blog/2018/10/17/haskells-kind-system-a-primer/
- https://rebeccaskinner.net/posts/2021-08-25-introduction-to-type-level-programming.html