Error found:
in module Main
at tests/purs/failing/CoercibleOpenRowsDoNotUnify.purs:7:12 - 7:18 (line 7, column 12 - line 7, column 18)

  No type class instance was found for
                            
    Prim.Coerce.Coercible r0
                          s1
                            

while solving type class constraint
                                  
  Prim.Coerce.Coercible { x :: Int
                        | r0      
                        }         
                        { x :: Int
                        | s1      
                        }         
                                  
while checking that type forall (a :: Type) (b :: Type). Coercible @Type a b => a -> b
  is at least as general as type { x :: Int   
                                 | r0         
                                 }            
                                 -> { x :: Int
                                    | s1      
                                    }         
while checking that expression coerce
  has type { x :: Int   
           | r0         
           }            
           -> { x :: Int
              | s1      
              }         
in value declaration recToRec

where r0 is a rigid type variable
        bound at (line 7, column 12 - line 7, column 18)
      s1 is a rigid type variable
        bound at (line 7, column 12 - line 7, column 18)

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