let
has_type_int i e = guard i e