use ShowProgress type alias everywhere