`KFunction1<X, Y>` is a fictional type which...
# announcements
u
KFunction1<X, Y>
is a fictional type which inherits from
(X) -> Y
and
KFunction