-- | Get the flavour of the given 'Ct'
ctFlavour :: Ct -> CtFlavour
ctFlavour = ctEvFlavour . ctEvidence
ctFlavour :: Ct -> CtFlavour
ctFlavour = ctEvFlavour . ctEvidence
ctFlavour = ctEvFlavour . ctEvidence