this still supports the previous

Get(X, Y, y)

interface as well, mypy just needs a separate annotation in that case (and we'd likely remove that form as soon as we migrate rules to

async def

, if everyone thinks this is the right direction)