At 2001-04-10 18:16, I wrote:

That's easy:

-- type Unit rep = Dimensioned Zero Zero Zero rep;

instance (Real a) => Real (Unit a) where { -- put instances here }; --

Of course you'll have to appropriately declare superclasses of Real, such as Num, Ord, Show, Eq etc.

I've put this together in the enclosed files (same as previously posted to the libraries list), which derive from anatoli's work. -- Ashley Yakeley, Seattle WA