package example.tree;
import name.panitz.adt.*;
@Data class T<a> {
  @Constr void Branch(T<a> left,a element,T<a> right){};
  @Constr void Empty(){};
}