Mention put and multilenses.
Extract comp-fmap.
Mention filtering on update.