let is_empty = (=) []