Prim.hs: correct the MPD type's comment. It's a reader, not a state, monad.