# 14.4. Effects

Morloc Manual > Compiler Architecture | https://morloc-project.github.io/docs/compiler-architecture/compiler-effects.html | prev: https://morloc-project.github.io/docs/compiler-architecture/compiler-types.md | next: https://morloc-project.github.io/docs/compiler-architecture/compiler-realization.md

**STUB**: Specifies effects. An effectful type denotes a suspended computation, and effects are never erased. Defines when a suspension is forced, how effects compose through application and `do` blocks, and how effectful code is lowered so its evaluation order is preserved across languages.