Wondering if refinements are like Java generics, sounds attractive when you don't have them, but brings unexpected complexity when you do.

@jimweirich You’d prefer Java without generics?

@wycats I stopped using Java daily about the time generics were becoming common, so take with a grain of salt ... But yes.

@jimweirich Is casting better? Or some other approach I’m not aware of?