import qualified Control.Exception as CE data Foo = Foo !Int -- 正格性フラグあり data Bar = Bar Int main = do "Foo" `test` case Foo (3 `div` 0) of Foo _ -> "ok" "Bar" `test` case Bar (3 `div` 0) of Bar _ -> "ok" "Foo2" `test` case Foo (3 `…