ZIO embraces variance everywhere, uses Any/Nothing, uses effect rotation (unlike Cats, Haskell, and pretty much everything else out there), doesn't use implicits, doesn't use names from category theory or abstract algebra, etc.
ZIO embraces variance everywhere, uses Any/Nothing, uses effect rotation (unlike Cats, Haskell, and pretty much everything else out there), doesn't use implicits, doesn't use names from category theory or abstract algebra, etc.