data
  Foo
    a
    b
    c
  where
  Foo :: a -> b -> c -> Foo a b c