Control.Wire.Trans.Simple
Predicate-based
ifW