monad products (for use until the transformers monad instances on products show up) - View it on GitHub