Frames.Melt
type family Elem t ts :: Bool where ...
type family Or (a :: Bool) (b :: Bool) :: Bool where ...
type family Not a :: Bool where ...
type family Disjoint ss ts :: Bool where ...
type ElemOf ts r
class RowToColumn ts rs
rowToColumn
meltAux
type family RDeleteAll ss ts where ...
meltRow'
retroSnoc
meltRow
class HasLength ts
melt