FLOPS2014の Liquid Types For Haskell のスライド http://goto.ucsd.edu/~rjhala/flops14/lhs/00_Index.lhs.slides.html#/ を読んだ。 Lazy Evaluation → Termination のあたりが気になっていた箇所で、面白かったけれど、これ読んだだけだとまだちょっと分からんなぁ。