Generics.SOP.NS
data NS
data SOP f xss
unSOP
type Injection f xs
injections
shift
shiftInjection
apInjs_NP
apInjs'_NP
apInjs_POP
apInjs'_POP
unZ
index_NS
index_SOP
ap_NS
ap_SOP
liftA_NS
liftA_SOP
liftA2_NS
liftA2_SOP
cliftA_NS
cliftA_SOP
cliftA2_NS
cliftA2_SOP
map_NS
map_SOP
cmap_NS
cmap_SOP
All c
All
cliftA2'_NS
collapse_NS
collapse_SOP
sequence'_NS
sequence'_SOP
sequence_NS
sequence_SOP
cata_NS
ccata_NS
ana_NS
cana_NS
expand_NS
cexpand_NS
expand_SOP
cexpand_SOP
trans_NS
trans_SOP
coerce_NS
coerce_SOP
fromI_NS
fromI_SOP
toI_NS
toI_SOP