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 (* -> *) -> (* -> *)). Robert