4 ms·

In case you are wondering: "generics" is mentioned 5 times (now 6) in the comments right now.

• zbentley 9y ago
  That was the first thing you searched for too? I just come here to eat popcorn and learn about type theory.