def unsome

lawful-arrays@0.1.0.0 · proof_index.bend:619

import Base

619def unsome(-T: Data, +d: T, m: Maybe<&2, T>) -> T:
620  match m:
621    case None{}:
622      d
623    case Some{x}:
624      x