Partial proof of monadic associativity.