module Test where{

foo = do{
  if true then
    false
  else if false then do{
    that}
    else do{
     what};
  that}}
<eof>