Este seminario propone un recorrido a través de las extensiones más conocidas del sistema de tipo del compilador GHC de Haskell: 1. El sistema de tipos de Haskell, clases de tipos, 2. FlexibleContexts, FlexibleInstances, 3. GADTs, Phantom Types, 4. R...