Изучение типов Haskell: полное руководство по методам типов

Изучение классов типов для специального полиморфизма в Scala: практическое руководство

«Происхождение» Haskell: руководство по автоматической генерации экземпляров в Haskell с примерами