New extension to Haskell -- data types and polymorphism at the type level | Heykuki News