map f gT
merge