I don't think `Option[Tree]` is universally outlawed. If we have to represent `Some(EmptyTree)` it makes sense to me.