Generics.SOP.NS

# Datatypes

data NS

data SOP f xss

unSOP

# Constructing sums

type Injection f xs

injections

shift

shiftInjection

apInjs_NP

apInjs'_NP

apInjs_POP

apInjs'_POP

# Destructing sums

unZ

index_NS

index_SOP

# Application

ap_NS

ap_SOP

# Lifting / mapping

liftA_NS

liftA_SOP

liftA2_NS

liftA2_SOP

cliftA_NS

cliftA_SOP

cliftA2_NS

cliftA2_SOP

map_NS

map_SOP

cmap_NS

cmap_SOP

# Dealing with ``All` c`

cliftA2'_NS

# Collapsing

collapse_NS

collapse_SOP

# Sequencing

sequence'_NS

sequence'_SOP

sequence_NS

sequence_SOP

# Catamorphism and anamorphism

cata_NS

ccata_NS

ana_NS

cana_NS

# Expanding sums to products

expand_NS

cexpand_NS

expand_SOP

cexpand_SOP