AN
> The goal of this proposal is to enable
type classes and lightweight Higher Kinded TypesSize: a a a
AN
type classes and lightweight Higher Kinded Types(
interface FunctionK<F<_>, G<_>> {
fun <A> invoke(fa: F<A>): G<A>
}(
AN
interface FunctionK<F<_>, G<_>> {
fun <A> invoke(fa: F<A>): G<A>
}(
AN
AN
AN
interface FunctionK<F<_>, G<_>> {
fun <A> invoke(fa: F<A>): G<A>
}AN
(
(
AN
ПК
VN
AM
BP
VN
VN
Kd