Haskellのassertを文っぽく使う - Qiita

基本的な使い方 プログラムの潜在的なバグを発見したい時にassertは便利です。Haskell (GHC) にもControl.Exceptionモジュールにassert関数が用意されています。筆者が以前書いた記事 Haskell でのデバッグ手法あれこれ でもちょろっと紹介しました。 Control.Exceptionのassert関数は という型を持ち、第1引数にチェックしたい条件を指定します。最適化が有効な場合（または -fignore-asserts が指定された場合）にはこの関数は第1引数を評価せずに第2引数をそのまま返し、最適化が無効な場合は第1引数が True であることを確認した上で第2引数をそのまま返す、という挙動をします。 他のプログラミング言語ではassertは文として用意されていることが多いかと思いますが、このassertは式として使います。また、assertを含む

[igrep]

なるほど。Debug.Traceにもある程度応用できそうな話だ。ちょうど昨日traceMを非正格なMonadでどう呼ぶか迷ったこともあったし