module Data where

data Foo where
  Bar :: Int -> Foo
  Baz :: Char -> String -> Foo