insert :: Ord a => a -> (BTree a) -> BTree a
 
insert val Empty = T val Empty Empty
insert :: Ord a => a -> (BTree a) -> BTree a
insert val Empty = T val Empty Empty
insert val Empty = T val Empty Empty