1. Monad Transformers are used to combine two effect types into one.
2. Tagless Final allows to delay the choice of an effect type and compose the program in terms of the capabilities this effect type must have.
3. Type-level computations allow to identify more errors on compile time, hence increasing compile-time safety.