no depth argument required in Substs.apply