docs: Choice<State<PlaceholderParamIdent>> tryBindArguments(
        final ExpressionTree node, final State<?> state) {
      return Choice.from(arguments().entrySet())
          .thenChoose(
              (final Map.Entry<UVariableDecl, UExpression> entry) ->
                  unifyParam(entry.getKey(), entry.getValue(), node, state.fork()));
    }