Language.PureScript.TypeChecker.Entailment

type Context

replaceTypeClassDictionaries