Inquiry about Effect-TS implementation and relation to monads - Effect Community