Generalized do notation as GP is proposing requires HKT. I don't think it's controversial to say that Go will not be getting HKT.