Avoid spurious tree checker warning for higher order type params 

Fixing a pending test in your tree checker branch.