Concurrent Clean : 流れ指向と無名関数

無名関数を使ったときに、レイアウトを深くする必要がないことに気づいた。
ということで、途中で変数束縛を入れたくなったら、こんな風に書けばよいことで結論。

Start w = w --> stdio
            --> \(f,w) = f
            --> fwrites "hello world\n"
            --> flip fclose w
            --> \(ok,w) = if ok w (trace "error on close" w)