Higher-rank and higher-kinded typesstephanboyer.com5 points·curryhoward··0 commentsOpen articleSaveView on HN