Data.Extensible

Lookup

data Position x xs

class x ∈ xs

Product

data h :* s

(<:*)

unconsP

outP

record

recordAt

Sum

data h :| s

(<:|)

exhaust

inS

Utilities

data K0 a

platter

(<%)

data K1 a f

data Union fs a

liftU

data Match h a x

match

(<?%)

(<?!)