---
title: "David Novák (@kaladivo) | Hashnode"
description: "David Novák (@kaladivo) writes on Hashnode. Read their latest articles and follow their work."
url: "https://hashnode.com/@kaladivo"
---

@kaladivo

# David Novák

@kaladivo · Joined April 2023

## Comments

[So far I was able to get around this error by manually specifying error types: sequenceS(E.either as E.as apply.Apply2C< 'Either', ValidateEmailError | ValidatePasswordError)({ email: validateEmail(email), password: validatePassword(password), }) But it still is not pretty.](https://hashnode.com/posts/practical-guide-to-fp-ts-part-5/6071bd511494367be6d29fcf/comment/642be9ccae2a7e0743394182)

Comment · Article · Apr 4, 2023 · [Practical Guide to Fp-ts P5: Apply, Sequences, and Traversals](https://hashnode.com/posts/practical-guide-to-fp-ts-part-5/6071bd511494367be6d29fcf)

[The problem with this code: sequenceS(E.either)({ email: validateEmail(email), password: validatePassword(password), }) Is if validateEmail and validatePassword has different left types it wont compile. Is there a way around this?](https://hashnode.com/posts/practical-guide-to-fp-ts-part-5/6071bd511494367be6d29fcf/comment/642be27c39fb0f053a106729)

Comment · Article · Apr 4, 2023 · [Practical Guide to Fp-ts P5: Apply, Sequences, and Traversals](https://hashnode.com/posts/practical-guide-to-fp-ts-part-5/6071bd511494367be6d29fcf)