Have each type implement its own handler. The idea is that each handler will decide if to resolve free variables between children on a case by case basis as opposed to relying on the current default handler which always resolves free vars between children.