Language.PureScript.TypeChecker.Subsumption
subsumes