So: Effect embraces strongly typed code. Why isn't the sync/async behavior of Effects captured? - Effect Community