Data.Apiary.SList

data SList as

type family All c as :: Constraint

type family Apply as r

type Fn c a

apply

apply'

type family Rev l a :: [*]

type Reverse a

sReverse