Improve handling of polymorphic types, wrt updatingReader