Example.hs:7:10: error:
    • Illegal instance declaration for ‘Coercible D D’
        Manual instances of this class are not permitted.
    • In the instance declaration for ‘Coercible D D’
  |
7 | instance Coercible D D
  |          ^^^^^^^^^^^^^

Error found:
in module Example
at Example.purs:7:1 - 7:36 (line 7, column 1 - line 7, column 36)

  Could not match type
          
    Record
          
  with type
                    
    Coercible$Dict D
                    

while trying to match type Record (() @Type)
  with type Coercible$Dict D D
while checking that expression Coercible {}
  has type Coercible$Dict D D
in value declaration coercible

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.