added applicative instance for OutputT, and some light reformatting