A
Size: a a a
U
АР
AD
AD
A
DP
U
DP
ПК
U
m
def sequence[F[_]: Monad, G[_]: MonoidK: Monad, T](fg: F[G[T]]): G[F[T]]
и вот такого: def sequence[F[_]: Monad, G[_]: MonoidK: Monad]: F[G] ~> G[F]
f
и g
странно.K
в MonoidK
?AD
f
и g
странно.K
в MonoidK
?ПК
f
и g
странно.K
в MonoidK
?m
AD