This frustrates me though. My POV ("Writing functional stuff in Java is a headache") gets lost between the much larger camps of "Functional bad, Java good" and

This frustrates me though. My POV ("Writing functional stuff in Java is a headache") gets lost between the much larger camps of "Functional bad, Java good" and "Java is functional and therefore good". Or worse "Java is better because it's both OO and FP". I want to type inference to work as well as ML. I don't think it ever will. I want to be free of nulls. I don't think I ever will be. I want the language to just let me implement `interface Monad<A>` and not need to generate code to arity 30.