This is going to sound really odd, especially if you have have some passing familiarly with Idris, but Idris doesn't <em>actually</em> have generics. Sure, it has something that <em>looks</em> like ge...

For performance reasons, we sometimes find ourselves implementing the interface of a more basic structure in terms of a much more complicated one. In functional programming languages, this often comes...