<@U3T6LDWTD> I believe what your discussing is typ...
# language-proposals
g
@benleggiero I believe what your discussing is typically called a
type class
in scala, and it is a huge part of that language