It\'d be useful if I could use safe in-place destructive updates on Arrays and Maps every now and then. Linear types are a technique to allow safe
Array
Map