typed some functions of the PersistentCollections