型というものが、すべてを語るみたいな話。

Hefty Algebrasの論文まだabstractだけしか読んでないんだけど、型を見たらだいたいわかった気がする。

data H h a = Pure a | forall x . h (H h) x :>>= (x -> H h a)