export uncons function