^. package:Agda

Get inner part i of structure o as designated by Lens' o i.