Inquiry about Effect-TS implementation and relation to monads

I was curious how Effect is implemented and how it relates to monads.

GPT-5 mini gave me this:

Effect-TS is based on IO monads, algebraic effect systems, and tagless final encodings, with additional runtime support for fibers to manage concurrency.

Is this true? Particularly 'tagless final encodings'?
Was this page helpful?