change Choice equality
release v0.8.1