[<<][haskell][>>][..]
Fri Jul 6 12:18:22 EDT 2018

Rank n types


Maybe the point of rank-2 is to pass a polymorphic think to a
function, such that it can instantiate it in multiple ways to
different types?

Then rank-N is the higher order function generalization of that.





[Reply][About]
[<<][haskell][>>][..]