full specialization I should,
transitively, also have no need for normal top-level function definitions that
have a context.
From: Simon Peyton Jones
Sent: Wednesday, December 1, 2021 4:57 PM
To: Erdi, Gergo
Cc: GHC
Subject: [External] RE: Recognizing default method implementations
PUBLIC
ATTE
Is there a way to recognize that an Id / Var refers to a default method
implementation, e.g. $dm/= in the following?
I'm afraid not. There has never been a reason to do so. And it might not be
robust e.g. it might be inlined.
What is the problem you are trying to solve?
Simon
PS: I am leavi
