:: Either a b -> a package:extrapolate