The combinators `<@>` and `<@` are now monomorphic.

This improves type inference as the phantom parameter `t` is usually polymorphic. #54
The documentation has been adjusted slightly in preparation for the 0.8 release.