Query[T] is a simplification. Maybe we could use the slide with the lifted embedding types that I created for the new talks to illustrate this in the docs.