Defining the behaviour of a Num instance with other Num types and with itself

[jaror]

There’s this talk:

MuniHac 2020: Richard Eisenberg - Partial Type Constructors

But nothing has come from that yet. Or actually there is also a more recent talk:

But I still don’t think there have been concrete steps to actually get this into GHC.