Oℕ
Free[Free ?Size: a a a
Oℕ
Free[Free ?K
enum Free[+F[+_], +A] {
case FlatMap[+F[+_], A, +B](
lhs: Free[F, A] | F[A],
rhs: A => Free[F, B] | F[B]
) extends Free[F, B]
}freer вродеOℕ
freer вродеOℕ
AB
Oℕ
Oℕ
Oℕ
S
K
Oℕ
M
Oℕ
OO
K
𝛈µ
𝛈µ
K
Oℕ
𝛈µ