guard -package:control-monad-free package:hxt

g `guards` f : when the predicate g holds, f is applied, else none
like whenP