Language.Syntactic.Constructs.Tuple
data Tuple sig
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