Add type signatures, documentation cleanup: TravMonad
Add type signatures, documentation cleanup: TravMonad

darcs-hash:56473be27a10ea3d5cf6486b90fb1156d251d405

micknelso/language-c,micknelso/language-c,micknelso/language-c