applySubstitution :: TypeExpr -> Substitution-> TypeExpr
applySubstitution = S.foldr (uncurry substitute)
applySubstitution :: TypeExpr -> Substitution-> TypeExpr
applySubstitution = S.foldr (uncurry substitute)
applySubstitution = S.foldr (uncurry substitute)