summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T6068.stdout
blob: e0d81eb049a9ac5a445672a193e2cce26eee1d8a (plain)
1
2
exists Nothing
  :: Floop * (KProxy (Maybe *)) a kp => Existential (Maybe *) kp