メモ。 使う規則 T(e;, V, C, q) = C(e;b.Zero()) この規則がvalidなコンピュテーション式を作れるはず。 Zeroメソッドのみを用意すれば良いのでBuilderの実装も最小限なはず？*1 コード // 定義 type A() = member x.Zero()=() let a = A() // 実際に試す a…