caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Functor
/
Constant
/
Kind
Copy path to clipboard
Source
λ(
a
: {
_1
: Kind, _2 : Kind }) →
a
.
_1
