Ondra Pelech

Hi @thesamet ! Have you had the change to look at this PR yet? :slightly_smiling_face:

I'm not sure I understand, this PR isn't changing anything about how the types are inferred, it just puts the `asRecognized` method to the `GeneratedEnum`, which is parent of all...

I think I see what you mean. But I think that has been already fixed in this PR, no? The enum cases now don't inherit only from `Recognized` (as was...

This can be closed @jatcwang

@jatcwang gentle ping :smile_cat:

Thank you so much for the review @jatcwang and sorry for the delay. Please let me know if you have any further concerns.

I think it should be `G[Option[B]]`. Let's take the example of `List` and `Task`. Than we would have ``` (fa: List[A])(f: A => Task[B]): Task[Option[B]] ``` The idea is that...

Interesting problem to tackle, indeed. But could we have such instances, like ```scala /** * The `IdentityEither` instance for `Future`. */ implicit def FutureIdentityEither(implicit ec: ExecutionContext): IdentityEither[Future] = new IdentityEither[Future]...

@Badmoonz if you wanted, we could try mob programming on this (Zoom works best from my experience). @justinhj you'd be more than welcome to join, if you'll find some spare...

@adamgfraser @Badmoonz I've played with this myself and this is what I've come up with. If we let go of using `None` for representing both "list was empty" and "all...