let rec (<=.) xs xy =
  match (xs, ys) with
  | ([], _) -> true
  | (_, []) -> false
  | (x::xs', y::ys') -> x <= y && xs' <=. ys'