Error found:
in module Main
at tests/purs/failing/CompareInt11.purs:14:14 - 14:26 (line 14, column 14 - line 14, column 26)

  No type class instance was found for
                       
    Prim.Int.Compare a0
                     5 
                     LT
                       

while checking that type forall (l :: Int) (r :: Int).       
                           Compare l r LT => Proxy @(Row Int)
                                               ( left :: l   
                                               , right :: r  
                                               )             
  is at least as general as type Proxy @(Row Int)
                                   ( left :: a0  
                                   , right :: 5  
                                   )             
while checking that expression assertLesser
  has type Proxy @(Row Int)
             ( left :: a0  
             , right :: 5  
             )             
in value declaration impossible

where a0 is a rigid type variable
        bound at (line 14, column 14 - line 14, column 26)

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