Samuel Gélineau

Demonstrating how to make type families faster using typechecker plugins

gelisam

The slides for my Packt course, "Mastering Haskell".

gelisam

A single typeclass for Functor, Bifunctor, Trifunctor, etc.

gelisam

Using Haskell's type system to guarantee commutativity.

gelisam