Data.Apiary.SList

data SList as

type family Fn as r

type family Snoc as a :: [*]

type family All c as :: Constraint

apply

sSnoc

type family Rev l a :: [*]

type Reverse a

sReverse