λ(tags : List Text)
→ λ(r : ../types/Resource.dhall)
→   r
  ⫽ { tags =
        merge
          { None = Some tags, Some = λ(ts : List Text) → Some (ts # tags) }
          r.tags
    }