You can iterate over values of almost all parametric primitives since they are functors (except Fixed).
Using Check behaviour we can short-circuiting iteration process once some condition is fulfilled: