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