Piotr Paradziński

Soon I could use support for HKT - that are even more crazy than `Fun[F[_]]`: * `Pro[P[-_,+_]]`, `Bi[B[+_,+_]]` * `Trif[T[+,_,+_,+_]]`, `Zif[Z[-_,_,+_,+_]]` * `Nat[_[_],_[_]]`, `DiNat[_[_,_],_[_,_]]` Not sure if this is doable...

@gaoxinyang code from the repo do not compile since 1.16.0. Any chance you could update the example? Maybe I could help with this problem :) BTW Thanks for making a...

This is blocked by https://github.com/zio/zio/issues/4211

I vote for kind projector if the dotty plays nicely with it. type lambdas syntax is the most horrible part of Scala (unless sb will teach you how to use...

I need a way to compare functions A => B (for https://github.com/zio/zio/issues/4211 and https://github.com/zio/zio-prelude/issues/290). I figured out sth like this: ```scala trait EqualF2[F[-_,+_],B] { def deriveEqual[R,A](gen: Gen[R, A], equalB: Equal[B]):...

Cats-Effect is not supported by Monix https://github.com/monix/monix/pull/1473 and Tofu

I am playing around with idea of supporting type classes with 2 type holes: https://github.com/lemastero/skolems/pull/1

Follow up: https://github.com/typelevel/cats-effect/issues/189

There are a couple of nice presentations: * Zippers by Example - George Wilson [(youtube)](https://www.youtube.com/watch?v=woK7ntZRwXQ) * Zippers, Comonads & Data Structures in Scala - Mark Hibberd & Tony Morris [(youtube)](https://www.youtube.com/watch?v=WpA8VPekcK4)...

ad 3) [Purescript hierarchy for contravariant functors](https://pursuit.purescript.org/packages/purescript-contravariant/docs/Data.Decidable) is more granular: ``` class Contravariant f Tuple b c) -> f b -> f c -> f a class Divide f f...