Sat Jan 22 16:19:00 EST 2011

Stacking units

One of the interesting features of Haskell is the ease at which
composite algebraic operations like complex numbers and stream lifting
can be implemented using the type class mechansim.  Inference will
then usually work, selecting the right operations.

Doing this multiple times gives "stacking" of number structures.  I'd
like to get a similar behaviour in the Scheme metaprogramming.