Finally

Finally.hs

-- f is a loop

main = do
  f foo
  bar
  
--
  
baz = do
  foo   -- called every time
  g bar -- called only once, when f returns
  
main =
  f baz