fourmolu-0.4.0.0: data/examples/declaration/data/gadt/multiline-where-four-out.hs
data
Foo
a
b
c
where
Foo :: a -> b -> c -> Foo a b c
data
Foo ::
Type ->
Type ->
Type
where
Foo :: Foo a b
data
Foo a b c ::
Type -> Type -> Type -> Type
where
Foo :: Foo a b c
data
Vec ::
Type ->
Type ->
Type
where
Nil :: Vec a Ze
Cons :: a -> Vec a n -> Vec a (Su n)