Folded type tutorial