type family Nub xs :: [k]

type family IsNull xs

type family FilterOut x xs :: [k]

type family Elem x xs

type family xs ++ ys