Verified.Monad and Verified.Monad.Maybe