apply
FoldTypes