Interface Unital<Cat, I1, I2, F>

Type Parameters

  • Cat

  • I1

  • I2

  • F

Hierarchy

Properties

Properties

introduce: Instance<Apply2<Cat, Instance<Apply1<F, I1>>, I2>>

Generated using TypeDoc