sum-type SUM_TYPE   example