AN
> The goal of this proposal is to enable
type classes
and lightweight Higher Kinded Types
Size: 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