Are there any plans to support this type of notation...
var f:(Void -> Void)->?Bool->?Int->Void;
haXe - an open source web programming language
I don't get it. You want to have a list of valid returning types ?Or you want to be capable to define variables with list valid type arguments ?