Algebra of Programming by Haskell

Great Fokkinga ref.) Law and Order in Algorithmics

Great ekmett ref.) category-extras hackage.

Fix.hs ref.) http://d.hatena.ne.jp/KeisukeNakano/20090320/1237559049

Fib.hs ref.) http://titech-ssr.blog.jp/archives/1047835805.html

Promorphism.hs ref.) https://jtobin.io/promorphisms-pre-post