f = unFoo . foo bar baz 3 $  do
  act
  ret

g = unFoo . foo
      bar
      baz 3 $  do
  act
  ret

update =
    do
      foobar
    `catch` \case
      a -> a

foo = bar ++
    case foo of
      a -> a