Well, it was my fault, it turns out withTx was not broken.