1foo :: Int -> Int
2foo x = if x > 5 then 10
3  else 12
4
5bar :: Int -> Int
6bar x =
7  if x > 5
8  then foo x
9         + 100
10  else case x of
11         1 -> 10
12         _ -> 20
13
14baz :: Int -> Bar
15baz x =
16  if x > 5
17  then
18    \case
19      Foo -> bar
20  else
21    do
22      undefined
23