fourmolu-0.14.1.0: data/examples/declaration/data/invisible-binders-out.hs

type T :: forall k. k -> forall j. j -> Type
data T @k (a :: k) @(j :: Type) (b :: j)