Coalg型

code:hs

type Coalg f a = a -> f a

seed (種)から、大きな構造を作るのに使われる

再帰的な構造を作るのに使われることが多い

Listとか、Treeとか