summaryrefslogtreecommitdiff
path: root/testsuite/tests/saks/should_compile/saks025.stdout
blob: 754659518b38358837ba26f3e3ffe4e1089b27cf (plain)
1
T :: forall {k} {j} (p :: k). j -> Type -> P p -> Type