чтобы можно было аннотировать возвращаемое значение Either<A, B> и были его подклассы Left и Right, getData которых возвращал бы типы A и B соответственно
Собственно повторю свой вопром, может кто-то какую-нибудь реализацию Either уже покрытую типами знает? Для случаев, когда из функции нужно возвращать или успешное значение или сообщение об ошибке.