why the `Choice` parameter here? Why not import it?