and I'm not really sure how much more you could re...
# language-proposals
k
and I'm not really sure how much more you could really do within the constraints of JVM type system