Yesss! This is exactly what I've been waiting for. Until sum types are available, the current implementation of generics are mostly useless, at least for the majority of cases I want to use them.