Really your choice for an introduction to monads puts this in an intro paragraph? Before we begin, it is important to briefly talk about the λ- calculus in the

Really your choice for an introduction to monads puts this in an intro paragraph? Before we begin, it is important to briefly talk about the λ- calculus in the context of termination. In short, the λ-calculus is strongly normalizing and thus non-termination is impossible as a general rule.