A type-passing implementation of value types and genericity. - Timothy Paul Owen (2002)