Fixed monad transformer for Io + Either