Shrink.maybe: def of bend-kit-property@0.4.0.0
Import: import bend-kit-property@0.4.0.0/shrink.bend as Shrink
Lines 104-110 of bend-kit-property@0.4.0.0/shrink.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-property@0.4.0.0/shrink.bend&start_line=104&end_line=110

import Base

# None, then Some of each candidate of x. None for None.
def maybe(~A: Data, ~shrink: A -> List<&1, A>, m: Maybe<&2, A>) -> List<&1, Maybe<&2, A>>:
  match m:
    case None{}:
      Nil{}
    case Some{x}:
      None{} <> maybe.some(A, shrink(x))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-property@0.4.0.0/shrink.bend&name=maybe.some