trait Algebra {
  trait Abel: a {
    def +(that: a): a;
  }
  type a <: Abel;
}
object MyAlgebra extends Algebra {
  type a = Expr;
  trait Expr extends Abel {
    def +(that: Expr): Expr = that;
  }
}