Data.Extensible

Reexport

Lookup

data Position xs x

runPosition

type x ∈ xs

class Member xs x