[zellyn]

At least in the first example, the optionality is directly encoded in the types, so no assumptions have been lost.