Paginate checks two "Type"?

Oh, wow, just in case someone also wonders about this:

Here’s the full solution!