Set-theoretic types for polymorphic variantsarxiv.org2 points·fanf2··0 commentsOpen articleSaveView on HN