Georgi Krastev
Georgi Krastev
This is only possible if the error type is fixed to `Throwable` and that at the time when we instantiate `MonadError`. What if I use a generic `MonadError` and only...
Related to #277
Just to clarify - `Dispatcher` is not a type class so we can't have a generic instance. Creating a dispatcher returns a `Resource` which needs to be cleaned up after...
> Fiddling around, I think I might have mixed up the uses of toManaged and toManagedZIO which does not need a Dispatcher. Am I right? In order to convert a...
I think for the people that mix ZIO with other effect types. Maybe we should have used the short name for ZIO and a longer name for generic effects 🤔...
> Yeah I would actually think the toManaged variant would be more common where you had like a Resource[CIO, A] and wanted to convert it into a ZManaged. If you...
Still an issue
If you uncomment `//extends BadJoke[V, Another[V]]` you get an error
It doesn't matter that it's contravariant. But we should have got an illegal cyclic reference. I wonder if that check comes after variance or is somehow skipped for local type...
They are not quite the same because one is an abstract type with a type bound (so could be F-bound) while the other is a type alias. And type aliases...