let%monomorphic prop0 (f : 'a -> 'b) (xs : 'a List.t) : bool =
  List.length (List.map f xs) = 0