^. package:Agda

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