Test Either monad and fix its transformer