All monads are collapsing. The side effects are truly spectacular.