Why sum and product types? · HackerTrans