Language.PureScript.TypeChecker.Entailment

type InstanceContext

replaceTypeClassDictionaries

newDictionaries