Data.HList.Label5

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.