Open ctongfei opened 5 years ago
Hopefully in Scala 3, with https://github.com/lampepfl/dotty/pull/4672, we could do
type Func1[X, Y] = [F[_]: Algebra] -> F[X] => F[Y]
Hopefully in Scala 3, with https://github.com/lampepfl/dotty/pull/4672, we could do