Error found:
in module Main
at tests/purs/failing/CoercibleUnknownRowTail2.purs:7:9 - 7:30 (line 7, column 9 - line 7, column 30)

  No type class instance was found for
                                    
    Prim.Coerce.Coercible ( b :: Int
                          )         
                          t0        
                                    
  The instance head contains unknown type variables. Consider adding a type annotation.

while solving type class constraint
                                  
  Prim.Coerce.Coercible { a :: Int
                        , b :: Int
                        }         
                        { a :: Int
                        | t0      
                        }         
                                  
while applying a function coerce
  of type Coercible @Type t1 t2 => t1 -> t2
  to argument { a: 0
              , b: 1
              }     
while checking that expression coerce { a: 0
                                      , b: 1
                                      }     
  has type { a :: Int
           | t0      
           }         
while checking type of property accessor (coerce { a: ...
                                                 , b: ...
                                                 }       
                                         )               
                                         .a              
in value declaration zero

where t0 is an unknown type
      t1 is an unknown type
      t2 is an unknown type

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