Covariant Endo Functor from Arrow into Arrow:
Covariant Endo Functor from Kleisli Arrow into Arrow:
Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow: (using Until)
Lax Semi Monoidal Functor from Product into Product through Arrow (using Every):
Lax Semi Monoidal Functor from Product into Sum through Arrow (using First):
Factoring through a colimit from Arrow into Arrow:
Some related instantiated morphisms:
Some related wrappers:
Available behaviour: Apply, Check, Until, Every, First, Spare.