Function whilepub

Classic while-loop word: repeatedly evaluate cond; while it yields true, invoke body. Stops the first time cond produces false. ( [..s -> ..s Bool] [..s -> ..s] -> )