Data.Extensible

Lookup

data Position x xs

runPosition

type (∈)

class Member x xs

Product

data h :* s

(<:*)

unconsP

hoistP

outP

sector

sectorAt

class Generate xs

Sum

data h :| s

(<:|)

exhaust

inS

picked

Inclusion/Permutation

class Include xs ys

Pattern match

data Match h a x

match

mapMatch

Monomorphic

data K0 a

(<%)

pluck

bury

(<%|)

record

(<?%)

Parameterized

data K1 a f

data Union fs a

liftU

(<?!)