pretty proofs for associativity of my monad.  so happy :)