Improving spec for result_from/1