let
add d kind = combine d (make_simple kind)