Split Either in two types: Right and Left.
Fix bind implementation for try monad.
Add try-or-else and try-or-recover macros.