Introduce new return type to make Samplable easier to understand
Trivial simplification of assertion