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