Refined.LessThanEq

data LessThanEq n