Index - U
| unbizip | Control.Functor.Zip | 
| uncocurry | Control.Category.Cartesian.Closed | 
| uncorep | Control.Functor.Representable | 
| uncurry | Control.Category.Cartesian.Closed | 
| unfoldW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply | 
| unfzip | Control.Functor.Zip | 
| unit | Control.Functor.Adjunction | 
| unitCCC | Control.Category.Cartesian.Closed | 
| unitCoCCC | Control.Category.Cartesian.Closed | 
| Universal | |
| 1 (Type/Class) | Control.Morphism.Universal | 
| 2 (Data Constructor) | Control.Morphism.Universal | 
| universalIdentity | Control.Morphism.Universal | 
| universalize | Control.Morphism.Universal | 
| unmap | Control.Functor.Full | 
| unrep | Control.Functor.Representable | 
| unrepAdjunction | Control.Functor.Adjunction |