adding fold to Choice