Choice.from_fun