Verification types instead of throwables