type MapError<KeyError, ValueError, Collision> =
  | MapNotMapError
  | MapEntriesErrorValue<
      KeyError,
      ValueError,
      Collision | MapExcessPropertyIssue
    >;