|- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |
|-> | Pandora.Core.Functor, Pandora.Core |
|> | Pandora.Paradigm.Inventory.Optics, Pandora.Paradigm.Inventory, Pandora.Paradigm |
|| | Pandora.Pattern.Object.Setoid, Pandora.Pattern.Object, Pandora.Pattern |