CC: Functional dependencies question

[Andrew J Bromage]

G'day.

On Mon, May 12, 2003 at 10:33:22PM -0700, oleg@pobox.com wrote:

> Well, how about this?
> 
> hbar = (PhysicalUnit 6.62606876e-34)::t where
>   x::t = (undefined::Energy) `mult` (undefined::Time)

Actually, that's pretty good.  BTW, I don't find "undefined" at all
bizarre here.  You're just after a type, not a value.

Thanks for the assistance.  Everything looks great now.

I'm still not happy about the original example, of course, but I'll
leave that for others to worry about.

Cheers,
Andrew Bromage