isLeft is not universally available, write my own