Control.Invertible.Monoidal
(>$<)
class Monoidal f
(>*)
(*<)
liftI2
liftI3
liftI4
liftI5
(>*<<)
(>*<<<)
(>*<<<<)
(>>*<)
(>>>*<)
(>>>>*<)
(>>*<<)
pureI
sequenceMaybesI
mapMaybeI
class MonoidalAlt f
possible
defaulting
while