Effect Systems, Composable Abstractions, Error Handling, Sequencing Computations