• "Unordered Function Application in Haskell" - Type system tricks to implement type-directed function application https://mgsloan.com/posts/unordered-apply/ 17 comments 4/4/2021 haskell