testsuite/tests/ghci/scripts/T18828.script


1
2
3
4
5
6
7
8
9

:load T18828
:set -XDataKinds -XKindSignatures -XRankNTypes
import Data.Type.Equality
:k! ObjectSyn (->)
:k! forall ob. ObjectSyn ((:~:) :: Cat ob)
:k! ObjectSyn (:-)
:k! ObjectFam (->)
:k! forall ob. ObjectFam ((:~:) :: Cat ob)
:k! ObjectFam (:-)