[sigmaml]

I made a crude proposal for generics in 2011[1], in which I proposed a pair of concepts ("storage class" and "type class") that are somewhat similar to the concept of this "gcshape".

I proposed it as a compromise between full monomorphisation and runtime code generation.

[1] http://oneofmanyworlds.blogspot.com/2011/11/draft-2-of-propo...