-- you happy compiler?
insert _ (Node _ (Unknown _) _) = error "The tree shouldn't contain Unknown records"
insert _ (Node _ (Unknown _) _) = error "The tree shouldn't contain Unknown records"
insert _ (Node _ (Unknown _) _) = error "The tree shouldn't contain Unknown records"