This is a presentation about haskell's type families.