Language.PureScript.TypeChecker.Entailment

type InstanceContext

data SolverOptions

replaceTypeClassDictionaries

newDictionaries

entails