Remove hack around requiring `Sized` bound in collect.rs

[nrc]

Requires a snapshot which supports type as a generalisation marker.