def bad_choice
import cli@0.2.0.0/cli.bend as Cliimport Base
2134def bad_choice(found: Maybe<&2, Bad>, id: String, at: String) ->
2135 List<&2, Problem>:
2136 match found:
2137 case None{}: Nil{}
2138 case Some{Bad{value, why}}: [BadChoice{at, id, value}]