Gentle plug for my literate Haskell implementation that aims to teach the concepts as they are defined: https://github.com/seantalts/hasktrip/blob/master/doc/MicroK...