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

  Could not match type
      
    c2
      
  with type
      
    d3
      

while solving type class constraint
                                          
  Prim.Coerce.Coercible (Foreign a0 b1 c2)
                        (Foreign a0 b1 d3)
                                          
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 c2 -> Foreign a0 b1 d3
while checking that expression coerce
  has type Foreign a0 b1 c2 -> Foreign a0 b1 d3
in value declaration foreignToForeign

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

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