foo :: Int -> Int
foo x =
  if x > 5
    then 10
    else 12

bar :: Int -> Int
bar x =
  if x > 5
    then
      foo x
        + 100
    else case x of
      1 -> 10
      _ -> 20

baz :: Int -> Bar
baz x =
  if x > 5
    then \case
      Foo -> bar
    else do
      undefined