Editing: HigherOrderTapProxy.php