type　foo=(bar, baz);
foo f;
case f of
bar: xxx;
baz: yyy;
end
ってした時に通常ありえないelse部分ってどうしてる？