Error found:
in module Main
at tests/purs/failing/CoercibleForeign.purs:11:20 - 11:26 (line 11, column 20 - line 11, column 26)

  Could not match type
      
    a0
      
  with type
         
    Id a0
         

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

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

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