Existential effect members

[b-studios]

It would be great, if we could have existential type and effect members on interfaces.

[phischu]

Consider

interface Num {
  type R
  def add(x: R, y: R): R
}

What is the actual difference to

interface Num[R] {
  def add(x: R, y: R): R
}