foo = do
  case x of
    True -> foo
    False -> foo