caterwaul
Switch Light/Dark Mode
/
caterwaul
/
NaturalTransformation
/
Kind
Copy path to clipboard
Source
λ(
f
: Kind → Kind) →
λ(
g
: Kind → Kind) →
(λ(
a
: Kind) →
f
a
→
g
a
) : Kind → Kind
