Language.PureScript.TypeChecker.Subsumption

subsumes