Index - K
| K | Proarrow.Category.Instance.Cat |
| KIND | Proarrow.Category.Instance.Cat |
| 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 |