let
is_empty = (=) []