以下のtweetをそのままコンパイルしようとしたら、主にScalaの型推論の弱さのせいで全然コンパイル通らなかったので、とりあえずコンパイル通るようにしたものを貼っておくだけ。 type List[A]=Free[({type f[x]=Option[(x,x)]})#f,A];def nil=Suspend(None)…