Index - Y
| Yoneda | |
| 1 (Type/Class) | Data.Category.NaturalTransformation |
| 2 (Data Constructor) | Data.Category.NaturalTransformation |
| YonedaEmbedding | |
| 1 (Type/Class) | Data.Category.NaturalTransformation |
| 2 (Data Constructor) | Data.Category.NaturalTransformation |
data-category-0.3.0.1: Restricted categories