Re: monomorphism restriction vs unused
Evan Laforge <[email protected]> Sun, 21 Jun 2026 13:05:58 -0700
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <CACbaDy6ZQfFnpjLzP1eRrP4LR+WbAbGaAsyg9=Jm5BGcyQsE+A@mail.gmail.com> |
SSBzaG91bGQgaGF2ZSB0cmllZCB0aGlzIGJlZm9yZSBzZW5kaW5nISAgSXQgdHVybnMgb3V0DQpO b01vbm9tb3JwaGlzbVJlc3RyaWN0aW9uIGlzIG5vdCByZWFsbHkgYSB1c2FibGUgd29ya2Fyb3Vu ZC4NCkZpcnN0IGl0IHNlZW1zIHRvIHRyaWdnZXIgYSBidWc6DQoNCkRlcml2ZS9KU2NvcmUvVC5o czo3NjoxMTogZXJyb3I6IFtHSEMtMzk5OTldDQogICAg4oCiIEFtYmlndW91cyB0eXBlIHZhcmlh YmxlIOKAmGEw4oCZDQogICAgICBHSEMgQnVnICMyMDA3NiA8aHR0cHM6Ly9naXRsYWIuaGFza2Vs bC5vcmcvZ2hjL2doYy8tL2lzc3Vlcy8yMDA3Nj4NCiAgICAgIEFzc3VtaW5nIHlvdSBoYXZlIGEg cGFydGlhbCB0eXBlIHNpZ25hdHVyZSwgeW91IGNhbiBhdm9pZCB0aGlzIGVycm9yDQogICAgICBi eSBlaXRoZXIgYWRkaW5nIGFuIGV4dHJhLWNvbnN0cmFpbnRzIHdpbGRjYXJkIChsaWtlIGAoLi4u LCBfKSA9PiAuLi5gLA0KICAgICAgd2l0aCB0aGUgdW5kZXJzY29yZSBhdCB0aGUgZW5kIG9mIHRo ZSBjb25zdHJhaW50KSwgb3IgYnkgYXZvaWRpbmcgdGhlDQogICAgICB1c2Ugb2YgYSBzaW1wbGlm aWFibGUgY29uc3RyYWludCBpbiB5b3VyIHBhcnRpYWwgdHlwZSBzaWduYXR1cmUuDQogICAgICBw cmV2ZW50cyB0aGUgY29uc3RyYWludCDigJgoQm91bmRlZCBhMCnigJkgZnJvbSBiZWluZyBzb2x2 ZWQuDQogICAgICBQcm9iYWJsZSBmaXg6IHVzZSBhIHR5cGUgYW5ub3RhdGlvbiB0byBzcGVjaWZ5 IHdoYXQg4oCYYTDigJkgc2hvdWxkIGJlLg0KICAgICAgUG90ZW50aWFsbHkgbWF0Y2hpbmcgaW5z dGFuY2VzOg0KICAgICAgICBpbnN0YW5jZSBCb3VuZGVkIE9yZGVyaW5nIC0tIERlZmluZWQgaW4g 4oCYR0hDLkVudW3igJkNCiAgICAgICAgaW5zdGFuY2UgQm91bmRlZCBJbnN0cnVtZW50IC0tIERl ZmluZWQgYXQgRGVyaXZlL0pTY29yZS9ULmhzOjEzMjozMA0KICAgICAgICAuLi5wbHVzIDIzIG90 aGVycw0KICAgICAgICAuLi5wbHVzIGZvdXIgaW5zdGFuY2VzIGludm9sdmluZyBvdXQtb2Ytc2Nv cGUgdHlwZXMNCiAgICAgICAgKHVzZSAtZnByaW50LXBvdGVudGlhbC1pbnN0YW5jZXMgdG8gc2Vl IHRoZW0gYWxsKQ0KDQpUaGlzIGlzIGluIGEgY29udGV4dCB3aGVyZSBhbGwgdGhlIHR5cGVzIGFy ZSBmdWxseSBzcGVjaWZpZWQsIGFuZCBubw0KcGFydGlhbCB0eXBlIHNpZ25hdHVyZXM6DQoNCmBg YA0KZGF0YSBQaXRjaENsYXNzID0gUDEgfCBQMiB8IFAzIHwgUDQgfCBQNSB8IFA2IHwgUDcNCiAg ICBkZXJpdmluZyAoRXEsIE9yZCwgU2hvdywgQm91bmRlZCwgRW51bSkNCmRhdGEgUGl0Y2ggPSBQ aXRjaCB7IHBpdGNoX29jdGF2ZSA6OiBJbnQsIHBpdGNoX3BjIDo6IFBpdGNoQ2xhc3MgfQ0KICAg IGRlcml2aW5nIChFcSwgT3JkLCBTaG93KQ0KDQp0b0VudW1Cb3VuZGVkIDo6IGZvcmFsbCBhLiAo Qm91bmRlZCBhLCBFbnVtIGEpID0+IEludCAtPiAoSW50LCBhKQ0KdG9FbnVtQm91bmRlZCBuID0g KGksIHRvRW51bSByKQ0KICAgIHdoZXJlIChpLCByKSA9IG4gYGRpdk1vZGAgKGZyb21FbnVtICht YXhCb3VuZCA6OiBhKSArIDEpDQoNCmFkZF9wY19hYnMgOjogSW50IC0+IFBpdGNoIC0+IFBpdGNo DQphZGRfcGNfYWJzIHN0ZXBzIChQaXRjaCBvY3RhdmUgcGMpID0gUGl0Y2ggKG9jdGF2ZSArIG9j dCkgcGMyDQogICAgd2hlcmUgKG9jdCwgcGMyKSA9IHRvRW51bUJvdW5kZWQgJCBmcm9tRW51bSBw YyArIHN0ZXBzDQpgYGANCg0KYHRvRW51bUJvdW5kZWRgIGlzIGNvbnNpZGVyZWQgYW1iaWd1b3Vz IGV2ZW4gdGhvdWdoIGBwYzJgIHNob3VsZCBiZQ0KY2xlYXIuICBgcGMyIDo6IFBpdGNoQ2xhc3Ng IHdvcmtzIGFyb3VuZC4NCg0KQnV0IG1vcmUgc2VyaW91c2x5LCBwcmFjdGljYWxseSBldmVyeSBu dW1lcmljIGxpdGVyYWwgaW4gdGVzdHMgaXMgbm93DQphbWJpZ3VvdXMsIGUuZy4NCg0KYGBgDQpl cXVhbGYgOjogKEhhc0NhbGxTdGFjaywgU2hvdyBhLCBBcHByb3hFcS5BcHByb3hFcSBhKSA9PiBE b3VibGUgLT4gYSAtPiBhDQogICAgLT4gVGVzdA0KLi4uDQp0ZXN0X3RoaW5nIDo6IFRlc3QNCnRl c3RfdGhpbmcgPSBkbw0KICAgIGxldCB0cmlwID0gaWQgLS0gdG9fc2VjIC4gZiByYXRlDQogICAg ZXF1YWxmIDAuMSAodHJpcCA2MDEpIDYwMQ0KYGBgDQoNCk5vdyBlcXVhbGYgY2FuJ3QgZmluZCBT aG93IGZvciBlcXVhbGYgb3IgTnVtIGZvciA2MDEuICBTbyBJIGd1ZXNzIHRoZQ0KcmVzdHJpY3Rp b24gaXMgYWxzbyBjYXVzaW5nIGEgbG90IG9mIGRlZmF1bHRpbmcsIHdpdGhvdXQgd2hpY2ggbGlm ZQ0KZ2V0cyB2ZXJ5IHRlZGlvdXMhICBTbyBpdCdzIG5vdCBqdXN0IGFib3V0IGF2b2lkaW5nIHNv bWUgZWZmaWNpZW5jeQ0KY29ybmVyIGNhc2VzLCBidXQgYWxzbyBoZWxwaW5nIGEgbG90IGluIGVy Z29ub21pY3MuDQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f XwpIYXNrZWxsLUNhZmUgbWFpbGluZyBsaXN0IC0tIGhhc2tlbGwtY2FmZUBoYXNrZWxsLm9yZwpU byAodW4pc3Vic2NyaWJlLCBtb2RpZnkgb3B0aW9ucyBvciB2aWV3IGFyY2hpdmVzIGdvIHRvOgpP bmx5IG1lbWJlcnMgc3Vic2NyaWJlZCB2aWEgdGhlIG1haWxtYW4gbGlzdCBhcmUgYWxsb3dlZCB0 byBwb3N0Lg==