// Tests that match cases can be given in the same line as the scrutinee
data FooBar a = Foo a | Bar a
extract x = match x with Foo v -> v ; Bar v -> v
main = extract (Foo (3 :: Integer))
--
3