Universal and Existential Quantification in Haskellserokell.io7 points·aroccoli··0 commentsOpen articleSaveView on HN