Half implemented foldMatchType.