type family MapNat (f :: * -> Nat) (xs :: [*]) where ...

type family Max (xs :: [Nat]) where ...

type family Tail (xs :: [*]) where ...

type family Drop (n :: Nat) (xs :: [*]) where ...

type family Take (n :: Nat) (xs :: [*]) where ...

type family Init (xs :: [*]) where ...

type family Head (xs :: [*]) where ...

type family Snoc (xs :: [*]) x where ...

type family ReplaceAt (n :: Nat) l l2 where ...

type family Replace t1 t2 l where ...

type family ReplaceN n t l where ...

type family Reverse (l :: [*]) where ...

type family RemoveAt (n :: Nat) l where ...

type family RemoveAt1 (n :: Nat) l where ...

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

type family Length xs where ...

type family Replicate n s where ...

type family MapMaybe l where ...

type family Generate (n :: Nat) (m :: Nat) :: [Nat] where ...

type family IsMember a l :: Bool where ...

type family IsSubset l1 l2 :: Bool where ...

type family Indexes (l :: [*]) where ...

type family MapTest a (l :: [*]) where ...

type family Zip (l :: [*]) (l2 :: [*]) where ...

type family Filter a (l :: [*]) where ...

type family Nub (l :: [*]) where ...

type family NubHead (l :: [*]) where ...

type family IndexOf a (l :: [*]) :: Nat where ...

type family MaybeIndexOf a (l :: [*]) where ...

type family Index (n :: Nat) (l :: [*]) where ...

type family Union (xs :: [*]) (ys :: [*]) where ...

type Member x xs