begin
　# あ
rescue FooException
　# め
rescue BarException
　# ま
end

そう言えばこれは型チェックとは言わないのけ？