ormolu-0.8.1.1: data/examples/declaration/data/invisible-binders.hs

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