data Foo = A Int | B Bool | C

foo :: Foo -> ()
foo x = case x of
  A n -> _
  B b -> _
  C -> _