3 ms·The “Requirement Machine”, a new generics implementation based on term rewriting4 points by panic 5y ago