data Foo = A Int | B Bool | C

foo :: Foo -> ()
foo x = case x of