deian/hails — comment on commit 3adcf144ce66e990e602b7abe25c3efe8c3a4fb8
File: Hails/Database/MongoDB/TCB/Query.hs line 158
By alevy:

This is safe because the size of a collection beyond the label of the collection, and the caller's current label is raised to that anyway. Right?