making `maxPasses` a default method screws with counting recursive binders