Error found:
in module Main
at tests/purs/failing/CoercibleKindMismatch.purs:15:17 - 15:23 (line 15, column 17 - line 15, column 23)

  Could not match kind
        
    Type
        
  with kind
               
    t29 -> Type
               

while solving type class constraint
                                                                    
  Prim.Coerce.Coercible (Proxy @(t0 -> Type) (Unary @t0))           
                        (Proxy @(t1 -> t2 -> Type) (Binary @t1 @t2))
                                                                    
while checking that type forall (a :: Type) (b :: Type). Coercible @Type a b => a -> b
  is at least as general as type Proxy @(t0 -> Type) (Unary @t0) -> Proxy @(t1 -> ...) (Binary @t1 @t2)
while checking that expression coerce
  has type Proxy @(t0 -> Type) (Unary @t0) -> Proxy @(t1 -> ...) (Binary @t1 @t2)
in value declaration unaryToBinary

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/KindsDoNotUnify.md for more information,
or to contribute content related to this error.