Algebraic effects for programmers

user-definable composable side-effects