P
- тайпклассы для .NET;
- тайпклассы на SRTP;
- экзистенциальные типы;
- rank-N polymorphism;
- HKT: оригинальная статья, одна из реализаций, цикл статей;
- GADT: оригинальная статья, пример реализации;
- tagless final: оригинальная статья, статья про применение, пример реализации;
- object algebras: ознакомительная статья, пример реализации;
- алгебраические эффекты: обзорная статья, реализация для C#, статья про нее.