Tutorial 8: Advanced typeclasses - init (#14)

* Init from MarekSuchanek/FPCourse

* Preparing outline and refs

* Simpler parts done

Foldable, Traversable, Alternative/MonadPlus, and Arrow are explained now.

* Lens just briefly... done

* State and transformers

* Intro + grammar

* review

Author: MarekSuchanek