(interestingly, the former case works in Java too,...

# random

[natpryce]

(interestingly, the former case works in Java too, thanks to Java’s "non-denotable types” feature. V handy when working with Java streams)