Data.Yoko.TypeBasics
data Proxy a
type Equal a b
data Nat
data SingNat
type Length list
type family Append x y :: [k]
type family App fn t :: *
data Constant a t
data Vec
class VFunctor c ts
class TrivCon a
class VInitialize c ts
data CVec ts a
class VRepeat ts
data Diag_ f g t
class VZip ts
data Idx
class IndexInto n ts
class VEnum ts
Maybe
type family MaybePlus1 x y :: Maybe k
type family If c a b :: k
type SpineCompare l r