Jon Skeet has proven that his toaster is monadic.