let compatible_formals data actuals formals = let compatible formal actual = is_subtype data actual formal in try List.for_all2 compatible formals actuals with | Invalid_argument(_) -> false