基本的なところを書くだけなら、それほど難しくもないのかな。腰をすえてやってみようかな。名前はYaftyとかかな。
Discussion
data HFreer h a = Pure a | forall x . h (HFreer h) x :>>= (x -> HFreer h a)
基本的なところを書くだけなら、それほど難しくもないのかな。腰をすえてやってみようかな。名前はYaftyとかかな。
data HFreer h a = Pure a | forall x . h (HFreer h) x :>>= (x -> HFreer h a)