Index - +
| + | |
| 1 (Type/Class) | Proarrow.Helper.CCC |
| 2 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 3 (Type/Class) | Proarrow.Category.Instance.Mat |
| ++ | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
| 2 (Type/Class) | Proarrow.Category.Instance.Kleisli |
| +++ | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Object.BinaryCoproduct |
| +-> | Proarrow.Core |