Data.Extensible.Internal

data Position xs x

runPosition

comparePosition

ord

data Nav xs x

navigate

here

navNext

navL

navR

class Member xs x

type x ∈ xs

data Nat

class ToInt n

type family Lookup x xs :: [Nat]

type family Succ x :: Nat

type family MapSucc xs :: [Nat]

type family Half xs :: [k]

type family Tail xs :: [k]

lemmaHalfTail

type family xs ++ ys :: [k]

type family Map f xs :: [k]

type family Merge xs ys :: [k]

type family Check x xs

data Expecting a

data Missing a

data Ambiguous a