Data.Type.Subset
type Subset as
subNil
type as ⊆ bs
subRefl
subTrans
subProd
subSum
subIx
subExt
subExtBy