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