3 ms·
This is closer to using the type system to simulate something Prolog-like, where typeclass membership is like a predicate.
by mrkgnao 10y ago
This is closer to using the type system to simulate something Prolog-like, where typeclass membership is like a predicate.
- agumonkey 10y agoI knew that ListConcat looked fishy.