type family Head (lst :: [a]) :: a where ...

type family Tail (lst :: [a]) :: [a] where ...

type family Index (lst :: [a]) (idx :: Nat) :: a where ...

type family Insert (lst :: [a]) (idx :: Nat) (el :: a) :: [a] where ...

type family Remove (lst :: [a]) (idx :: Nat) :: [a] where ...

type family Append (lst :: [a]) (el :: a) :: [a] where ...

type family Length (lst :: [a]) :: Nat where ...

type family Drop (lst :: [a]) (i :: Nat) :: [a] where ...

type family Take (lst :: [a]) (i :: Nat) :: [a] where ...

type family StripPrefix (lst :: [a]) (pre :: [a]) :: [a] where ...

type family Last (lst :: [a]) :: a where ...

type family DropLast (lst :: [a]) :: [a] where ...

type family Reverse (lst :: [a]) :: [a] where ...

type family Map (lst :: [a]) (f :: a -> b) :: [b] where ...

type family Concat (xs :: [a]) (ys :: [a]) :: [a] where ...

type family Replicate (n :: Nat) (x :: a) :: [a] where ...

data List e tp