Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Neil Ghani and Particia Johann''s higher order functors from http://crab.rutgers.edu/~pjohann/tlca07-rev.pdf
Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Neil Ghani and Particia Johann''s higher order functors from http://crab.rutgers.edu/~pjohann/tlca07-rev.pdf