I thought we were also going to have some mechanism to replace the types completely, (so that generic types go away)