I'm not sure, but it isn't clear to me which result should be returned. The type signature suggests thatq's result would be returned, but that seems like an arbitrary choice that would surprise some users.