let add d kind = combine d (make_simple kind)