User OverloadedStrings parser trick