Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
The HList library
(C) 2004, Oleg Kiselyov, Ralf Laemmel, Keean Schupke
Yet another model of labels.
This model allow us to use any type as label type. As a result, we need some generic instances.
Also, type errors may be more confusing now.