Index - K
| K | Proarrow.Category.Instance.CatProf |
| k1Optic | Proarrow.Category.Monoidal.Optic |
| kernel | Proarrow.Limit.Equalizer |
| kernelPair | Proarrow.Limit.Pullback |
| Key | |
| 1 (Type/Class) | Proarrow.Profunctor.Corepresentable |
| 2 (Type/Class) | Proarrow.Profunctor.Representable |
| KIND | Proarrow.Category.Instance.CatProf |
| Kind | Proarrow.Core |
| KL | Proarrow.Category.Instance.Kleisli |
| KlCat | Proarrow.Category.Monoidal.Optic |
| KLEISLI | Proarrow.Category.Instance.Kleisli |
| Kleisli | |
| 1 (Type/Class) | Proarrow.Category.Instance.Kleisli |
| 2 (Data Constructor) | Proarrow.Category.Instance.Kleisli |
| KleisliForget | |
| 1 (Type/Class) | Proarrow.Category.Instance.Kleisli |
| 2 (Data Constructor) | Proarrow.Category.Instance.Kleisli |
| KleisliFree | |
| 1 (Type/Class) | Proarrow.Category.Instance.Kleisli |
| 2 (Data Constructor) | Proarrow.Category.Instance.Kleisli |