srecord WithChoices<A>(A result, Iterable<WithChoices<A>> choices) {
}