Simon_Marlow_Parallel_and_Concurrent
Thinking with types
Beginning-Haskell-A-Project-Based-Approach
http://okmij.org/ftp/tagless-final/course/lecture.pdf
http://okmij.org/ftp/tagless-final/course/index.html#lecture
https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_