Truly you have a strange fondness for all types being called t. I agree that the latest version is the `completly pure' version for this style. I'm not convinced that is great, but I can certainly live with it. I guess it is pure. Pretty verbose though.