total v0.1.0 Total.NonExhaustiveCase exception