module Main where

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