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