-
Robbert Krebbers authored
The new implementation ensures that type class arguments are only infered in the very end. This avoids the need for the inG hack in a0348d7c.
e059aa12
The new implementation ensures that type class arguments are only infered in the very end. This avoids the need for the inG hack in a0348d7c.