Czy istnieje standardowy sposób logicznego łączenia predykatów w F #? Na przykład powiedzmy, że mamisCar x iisBlue x wtedy chcę czegoś, co mi daje:

let isBlueCar x = isCar x && isBlue x

Ale przy użyciu pewnego rodzaju kompozycji, a nie inwokacji, być może:

let isBlueCar x = isCar && isBlue

Najlepiej, żeby coś było w stanie zaakceptować dużą / dowolną liczbę predykatów.