Why use `GreedyConstructorQuery` here?