Concurrent Clean : やっと動いた。

全称量化変数の使い方が、やっと飲み込めてきた。でも、まだ怪しいところがあるけれど。
とりあえず、mappingを

mapTest :: (A.i: *MCGI i) (A.i: MModel i) MView -> *MRes
mapTest cgi model view
    = cgi
      model mTest1 \m1 =
      model mTest2 \m2 =
      view [vTest1 m1 m2]

という風に書けるようになった。