> The first problem is trivial, solving the second one in a type safe way > would require adding parametric polymorphism to D. (Which I'd love to have!) > Can't you emulate type-safe parametric polymorphism with template constraints?