Have you seen a type signature like this before in Scala? trait T[U <: T[U]] If you're like me, you've come across this type signature, and you're wondering what the heck it means. You likely Googled something like "recursive type" or "self-referential type"...