Index - U
| unCom | Data.Category.NaturalTransformation |
| unForAll | Data.Category.Limit |
| Unit | Data.Category.Unit |
| unit | Data.Category.Adjunction |
| UnitId | Data.Category.Unit |
| UnitO | |
| 1 (Type/Class) | Data.Category.Unit |
| 2 (Data Constructor) | Data.Category.Unit |
data-category-0.2.0: Restricted categories