-
https://s3.amazonaws.com/haddock.stackage.org/lts-6.0/base-4.8.2.0/Control-Arrow.html#t:Arrow
-
http://www.slideshare.net/goncharenko/functional-programming-by-ex
-
https://en.wikipedia.org/wiki/Monad_(functional_programming)
-
http://www.cantab.net/users/antoni.diller/haskell/haskell.html
-
http://daniel-j-h.github.io/post/intuitive-monadic-bind-kleisli-composition/
-
http://www.haskellforall.com/2012/08/the-category-design-pattern.html
-
http://stackoverflow.com/questions/20165554/how-to-use-kleisli-arrows-with-monads
-
https://github.com/quchen/articles/blob/master/second_functor_law.md
-
http://data.tmorris.net/talks/what-does-monad-mean/what-does-monad-mean/pdf/index.pdf
-
http://stackoverflow.com/questions/44965/what-is-a-monad/194207#194207
-
https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/profunctors
- https://github.com/sharkdp/purescript-flare
- https://github.com/slamdata/purescript-halogen/blob/master/examples/counter/src/Main.purs
- https://shark.fish/talk/#/
- http://sharkdp.github.io/purescript-flaredoc/
- https://learnxinyminutes.com/docs/purescript/
- http://www.purescript.org/learn/getting-started/
- https://gist.github.com/paf31/8e9177b20ee920480fbc
- https://github.com/bkonkle/purescript-manifold
- https://github.com/Podlas29/purescript-murph
https://github.com/ekmett/zippers https://github.com/NICTA/lets-lens http://hackage.haskell.org/package/lens-tutorial-1.0.2/docs/Control-Lens-Tutorial.html https://github.com/aelve/microlens http://lambda-the-ultimate.org/node/4290#comment-65894 https://www.reddit.com/r/haskell/comments/1g2g3s/falgebra_tutorial/ https://www.schoolofhaskell.com/user/bartosz/understanding-algebras https://mortberg.wordpress.com/2010/08/30/zn/ http://conal.net/blog/posts/more-beautiful-fold-zipping https://github.com/Gabriel439/slides/blob/master/munihac/foldmap.md https://www.stackage.org/haddock/lts-7.19/foldl-1.2.3/Control-Foldl.html https://crypto.stanford.edu/~blynn/haskell/hga.html https://jozefg.bitbucket.io/archive.html http://scalalaz.ru/series-11.html http://deni-ok.livejournal.com/7123.html http://deni-ok.livejournal.com/6909.html http://deni-ok.livejournal.com/8502.html http://deni-ok.livejournal.com/9375.html http://nponeccop.livejournal.com/546123.html https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/part-2 http://squing.blogspot.ru/2008/11/beautiful-folding.html https://github.com/effectfully/prefolds https://github.com/haroldcarr/learn-haskell-coq-ml-etc/blob/master/haskell/book/Program_Design_by_Calculation-Oliveira/2015-05-LambdaConf/README.md http://bentnib.org/posts/2011-04-22-structural-recursion.html http://bentnib.org/posts/2011-04-28-folds-and-induction.html https://softwaremill.com/beautiful-folds-in-scala/ http://www.folone.info/blog/RecursionSchemes/ https://www.reddit.com/r/javascript/comments/5g4bmu/anamorphisms_in_javascript/dar183e/ http://raganwald.com/2016/11/30/anamorphisms-in-javascript.html https://gist.github.com/scott-christopher/c0e76689c40988ce4e08fca4fe97d7dd https://gist.github.com/YoEight/8106260 https://gist.github.com/robrix/da6c6b61bdd0ee3e3b699a737bdd8169 https://gist.github.com/liesen/9f3c2776d86887df279b https://gist.github.com/jtobin/bbb2070f6a63956401b3 https://gist.github.com/yuga/ac639f542b64cd9cddf6 https://gist.github.com/jonschoning/8775918
https://github.com/t10471/haskell/blob/master/misc-example/algebra4.hs https://github.com/wataruY/sandbox/blob/master/haskell/junk/list_xxx_mor.hs http://lpaste.net/103930 https://github.com/joshcc3/HaskellExperiments/blob/master/interestingTypes/RecSchemesExp.hs http://duplode.github.io/posts/whats-in-a-fold.html https://jyp.github.io/posts/controlled-fusion.html http://mpickering.github.io/posts/2016-09-16-motivating-foldable.html http://lpaste.net/103930 https://gist.github.com/markandrus/6574505 https://github.com/sayon/fp-cata-presentation/blob/master/presentation.pdf https://github.com/willtim/recursion-schemes/blob/master/slides-final.pdf https://github.com/jl-Jenning/recursion-schemes-in-DSL/blob/master/Report/new_report.pdf https://github.com/sellout/recursion-scheme-talk/blob/master/cheat%20sheet.pdf https://jozefg.bitbucket.io/posts/2013-11-09-iso-recursive-types.html https://www.reddit.com/r/haskell/comments/11tevy/from_listbased_recursion_schemes_to_generic_ones/ https://www.reddit.com/r/elm/comments/4zpz6u/rewriting_imperative_loops_in_elm_using_folds/ https://www.reddit.com/r/haskell/comments/3i9gjq/exploring_catamorphisms_and_apomorphisms/ http://d.hatena.ne.jp/KeisukeNakano/20090320/1237559049 https://searchcode.com/file/11552091/libs/_old/greyfold/src/Data/GreyFold/Base/SequenceRecursion.hs http://hackage.haskell.org/package/category-extras-0.1/docs/Control-Recursion.html https://gist.github.com/YoEight/9710441 https://github.com/colah/HaskSymb https://gist.github.com/oisdk/542e7d941e5e62fe3a6ac7321b01754e https://github.com/jto/validation http://jto.github.io/articles/typelevel-fix/ http://typelevel.org/blog/2014/04/14/fix.html https://tpolecat.github.io/presentations/sw2016/slides.htm https://www.slideshare.net/DaveCleaver1/flexible-data-representation https://dl.dropboxusercontent.com/u/828035/Computing/fold.html https://wiki2.org/en/F-coalgebra https://gist.github.com/Heimdell/09e24bef28d1c8fe8a19 https://gist.github.com/Heimdell/bcd902d03bd2a0d2791d https://gist.github.com/holoed/399928af38d8a76205e3 https://gist.github.com/raichoo/53ed5619988c0b4dd590 https://gist.github.com/jonschoning/8797627 https://gist.github.com/nikitaDanilenko/b5d582337a7bbbd9a4fb http://www.cs.toronto.edu/~trebla/personal/haskell/fix.xhtml http://www.parsonsmatt.org/2016/10/26/grokking_fix.html http://okmij.org/ftp/Computation/fixed-point-combinators.html https://wiki2.org/en/Initial_algebra https://github.com/technogeeky/pearl-sorting-with-bialgebras https://github.com/revnull/catamorphism-games https://github.com/haroldcarr/especially-haskell/blob/master/content/recursion-schemes/src/Z.hs