Indeed, there is already a proposal for an enum syntax in dotty that looks almost exactly like that:
enum Tree[T] {
case Branch(t: Tree[T])
case Leaf(t: T)
}