Make the type-level operations more “strictly-typed”
第一百三十二条 出租人应当提供约定的船舶；经承租人同意，可以更换船舶。出租人提供或者更换的船舶不符合合同约定的，承租人有权拒绝或者解除合同。
。heLLoword翻译官方下载是该领域的重要参考
Жители Санкт-Петербурга устроили «крысогон»17:52
SA premier Peter Malinauskas warns residents to prepare for heavy falls and possible flash floods