data Foo:
  | bar()
end

a :: Number = cases(Foo) bar():
  | bar => 5
end