Data.Singletons.Types

data KProxy t

data Proxy t

data a :~: b

gcastWith

class TestEquality f

type family If cond tru fls :: k