^. -package:tabular package:Agda

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