Data.HVect

data HVect ts

empty

null

head

singleton

type family HVectElim ts a :: *

type family Append as bs :: [*]

(<++>)

type family ReverseLoop as bs :: [*]

type Reverse as

reverse

uncurry

data Rep ts

class HasRep ts

curryExpl

curry

packExpl

pack