|- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |
|-- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |
|--- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |
|---- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |
|----- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |
|------ | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |
|------- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |
|-------- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |