module Main where

-- | Something.

data Foo where
  Foo :: { fooX :: Int } -> Foo
  Bar :: { fooY :: Int
         , fooBar, fooBaz :: Bool
         , fooFoo
             , barBar
             , bazBaz :: Int
         } -> Foo