May I suggest (purely from a readability perspective) this alternative syntax?

```F#
verify <@ sut |> implements<ICustomization> @>
```