Wrote "Early Exit with EitherT"