infix fun <F, A> A.shouldBeRefinedBy(refinement: Refinement<F, A>): Unit
Asserts that a value of type A complies with the refinement