Why sum and product types?charlieharvey.org.uk1 point·ciderpunx··0 commentsOpen articleSaveView on HN