Turns out L'.hs is pretty much the same
Explained monad and applicative instances
Finished up M.hs
Finished up conclusion for folds.md