Inline Nock monad, lhs -> hs, haddock-ify

Github screws up lhs formatting currently. Given that we lost the
coolness of literate syntax, I decided to go for machine-readable
documentation.
Bump to 0.4.1