Data.Tuple.TypeLevel

type family Fst k

type family Snd k

class ConstrainFst c x

class ConstrainSnd c x

proxyFst

proxySnd