foo x = case x of
          True -> "a"
          False -> "b"