This makes it clearer what the Sing instances are actually matching on. Moreover, this will be required in order to make these instances compile after GHC#23515 is implemented.
This resolves the "Sing instances without explicit left-hand sides" section of #601.
This makes it clearer what the
Sing
instances are actually matching on. Moreover, this will be required in order to make these instances compile after GHC#23515 is implemented.This resolves the "
Sing
instances without explicit left-hand sides" section of #601.