Data.Microgroove.TypeLevel

type family (xs :: [u]) !! (n :: Nat) where ...

type family Length (xs :: [u]) :: Nat where ...

type family AllF (c :: * -> Constraint) (f :: u -> *) (xs :: [u]) :: Constraint where ...

type family (as :: [k]) ++ (bs :: [k]) where ...

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

data Some f

data MaybeSome f

type family SetAt n xs x where ...