Hole.writeConvertTypeChecked: Lens-style