Available behaviour: Apply, Forth, Plane, Range, Level, Start, Final.
Covariant Functor from Arrow into Arrow:
Covariant Functor from co-Kleisli/Kleisli Arrow into Arrow:
Covariant Functor from Kleisli Arrow into Kleisli Arrow:
Covariant Functor from co-Kleisli/Kleisli Arrow into Kleisli Arrow:
Covariant Functor from Arrow into Arrow with representing objects:
Lax Semi Monoidal Functor from Product into Product through Arrow:
Lax Semi Monoidal Functor from Product into Whether through Arrow:
Available instantiated morphisms:
Available components of natural transformations: