Language.PureScript.TypeChecker.Entailment
type InstanceContext
data SolverOptions
replaceTypeClassDictionaries
newDictionaries
entails