do-notation considered harmful