Experimental record formatting from type-level format strings - View it on GitHub