Don't quantify implicit type variables when quoting type signatures in TH