Heirarchical name space allocation /Trees

Robert Will robertw at stud.tu-ilmenau.de
Fri Apr 2 09:59:46 EST 2004

On Thu, 1 Apr 2004, Christian Maeder wrote:
> "data Sized" is of course generally useful (not only for Sequence) and
> may be accompanied by a couple of wrap and unwrap functions for certain
> function profiles to be lifted.

Yeah, just what Dessy does with its Cached and OCached meta-types (i.e.
kind (* -> *) -> (* -> *)).


More information about the Libraries mailing list