Fredrik Ohrstrom wrote: > Exactly. I strongly believe that we need function types. > Whatever restrictions that are put upon them due to > erasure, will be lifted whenever we get erasure. How, exactly? Introducing reification is an incompatible change.