Data.Type.Product

data Prod f

only

(>:)

head'

tail'

init'

last'

reverse'

append'

lookup'

lookupPar

permute

permute'

type Tuple

only_

(>::)

elimProd

onHead'

onTail'

uncurry'

curry'

index

select