I'm not sure if it's possible to get this to work with the current type system... I can't think of any solution that does not involve changes to the compiler...