improve readme

[patroza]

• return errors so the compiler can do flow analysis and type narrowing
• assume Effect.Tag usage to simplify service calls
• don't use yield* Effect.succeed() as it gives the wrong impression

[kasperpeulen]

Thanks!

return errors so the compiler can do flow analysis and type narrowing

I might be missing something, but I get the same type narrowing without returning.

[patroza]

@kasperpeulen type narrowing of the value you tested in the if condition.
In your current example there is no type narrowing, but do something like !Array.isNonEmptyArray instead, and you should see the result narrowed to NonEmptyArray after the return.

[kasperpeulen]

Thanks!

[github-actions]

🚀 PR was released in v0.0.5 🚀