>В Either их тоже особо не засунешь, без заворачивания в алгебраический тип по одному конструктору на каждый вид исключения(oh shit, в жабе же все равно исключения checked, это примерно оно и есть).

data SomeException where SomeExceptin :: Typeable a => a -> SomeException

Далее Error SomeException и Either SomeException a.