Language.Syntactic.Constructs.Tuple

Construction

data Tuple sig

Projection

type family Sel1' a

type family Sel2' a

type family Sel3' a

type family Sel4' a

type family Sel5' a

type family Sel6' a

type family Sel7' a

data Select a

selectPos