module bintree : Set where


data BinTree : Set where
   leaf    : BinTree
   branch  : BinTree -> BinTree -> BinTree