case-of

case x of
  0 -> "zero"
  1 -> "one"
  _ -> "infinity"