[Haskell-cafe] Re: Generic types

[Adde]

Cale Gibbard <cgibbard <at> gmail.com> 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