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 ma

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.