>>830
Haskell の型はステキだと思いますよw

でも、traceとか「デバッグ」は大変そう…。