[Haskell-cafe] Re: Generic types

Cale Gibbard writes:

Perhaps you want data UnitValue u n = (Unit u, Num n) => UnitValue {uUnit :: u, uValue :: n}

Thanks! That works... As I understand it this is not using the above mentioned existential types as I'm allowed to use record labels, right? Any chance that someone could write out in english exactly what the above declaration says? I'm trying to fit this in with what I allready know ;) /Adde