implicit definition to accept any boolean value as a Result This avoids writing b must beTrue
x.convert converts a value x of type T to type U
x.convert
x
T
U