Error found:
in module Main
at tests/purs/failing/CoercibleNominalWrapped.purs:15:14 - 15:20 (line 15, column 14 - line 15, column 20)

  Could not match type
      
    a0
      
  with type
         
    Id a0
         

while solving type class constraint
                                         
  Prim.Coerce.Coercible (Wrap a0 b1)     
                        (Wrap (Id a0) b1)
                                         
while checking that type forall (a :: Type) (b :: Type). Coercible @Type a b => a -> b
  is at least as general as type Wrap a0 b1 -> Wrap (Id a0) b1
while checking that expression coerce
  has type Wrap a0 b1 -> Wrap (Id a0) b1
in value declaration wrapToWrap

where a0 is a rigid type variable
        bound at (line 15, column 14 - line 15, column 20)
      b1 is a rigid type variable
        bound at (line 15, column 14 - line 15, column 20)

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