verified monads are applicatives