2 Apr
2004
2 Apr
'04
7:59 a.m.
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