proarrow

Index - .

.Proarrow.Core, Proarrow.Promonad, Proarrow
.->Proarrow.Category.Instance.Nat
.?Proarrow.Category.Monoidal.Optic
.~Proarrow.Category.Monoidal.Optic
.~>Proarrow.Functor, Proarrow