1foo :: Bool -> ()
2foo x =
3  if True
4    then
5      case x of
6        True  -> _
7        False -> ()
8    else
9      _
10