引数が実際に使われるときのみ評価される

漸近的計算量の見積もりが難しい

いつ評価されるか、そもそも評価されるかなどの判断が難しい

償却データ構造は書けるが最悪時データ構造は書けない

非性格な関数

引数がHaskellの⊥型でも、出力が ⊥ とは限らないもの

e.g. 以下のような関数 two

two undefined の結果は2になる