let
is_bottom = (=) bottom