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

  Could not match type
      
    a0
      
  with type
      
    b2
      

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

where a0 is a rigid type variable
        bound at (line 11, column 20 - line 11, column 26)
      b2 is a rigid type variable
        bound at (line 11, column 20 - line 11, column 26)
      c1 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.