while :: (<e> Boolean) -> (<e> a) -> <e> ()
while cond body = loop ()
  where loop _ = if cond
                 then do body ; loop ()
                 else ()

main = "FOO"
--
FOO