add makeRecombinator