Why sum and product types? #1 Post by ciderpunx » Fri, Dec 04, 2015, 11:18 AM UTC Why sum and product types?charlieharvey.org.uk