Control.Invertible.Monoidal
data Bijection a b c
biCase
(>$<)
(>$)
($<)
class Monoidal f
unitDefault
pairADefault
(>*)
(*<)
liftI2
liftI3
liftI4
liftI5
(>*<<)
(>*<<<)
(>*<<<<)
(>>*<)
(>>>*<)
(>>>>*<)
(>>*<<)
pureI
constI
sequenceI_
mapI_
forI_
sequenceMaybesI
mapMaybeI
class MonoidalAlt f
eitherADefault
(>|)
(|<)
optionalI
defaulting
manyI
msumIndex
msumFirst
msumLast
oneOfI