prove monad-associativity