2 ms·
I would add "Higher-order type-level programming in Haskell" which will bring unsaturated type families, enabling currying at the type level.
by pwm 7y ago
I would add "Higher-order type-level programming in Haskell" which will bring unsaturated type families, enabling currying at the type level.