a function returning an object having an AsResult instance can check a value
x.convert converts a value x of type T to type U
x.convert
x
T
U