Currently function types have to be effect-annotated using a refined type: ``` val pureFun: (Int => Int) { def apply(x: Int): Int @pure } = ... ``` It would be nice to support something as simple as `Int => Int @pure`.
Currently function types have to be effect-annotated using a refined type:
It would be nice to support something as simple as
Int => Int @pure.