4 ms·
Type constructor that lifts to functions is even a pretty intuitive (ahistorical) intuition for “functor”.
by catgary 5y ago
Type constructor that lifts to functions is even a pretty intuitive (ahistorical) intuition for “functor”.
loading thread…