a simple string-formatting way by QuasiQuotes