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