Equatableに対する ~= が提供されてるから case a = b で書けるってことか