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.