4 ms·
The author is advocating this method when the functions being derived are sufficiently polymorphic which your add function is not.
by lkitching 7y ago
The author is advocating this method when the functions being derived are sufficiently polymorphic which your add function is not.
- weavie 7y agoIndeed, this is a perfect example of why it only works when your types are sufficiently polymorphic, and how Haskells type system can't always capture all the required logic needed.