Couldn't you just do [this](http://stackoverflow.com/a/6306745/126014)?

```F#
verify <@ sut :? ICustomization @>
```