A Role for Dependent Types in Haskell (Extended Version)arxiv.org1 point·lainon··0 commentsOpen articleSaveView on HN