^. -package:tabular -package:relude package:Agda

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