refactoring: Quote.hs mkDef