module AVL(insert) where

import AVLDef

insert :: Ord k => k -> AVL k -> AVL k
insert = error "TODO"