fixed cabal file, added docs
merged, I think
Merge pull request #1 from bitemyapp/master

Small preamble to explain types