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