invertible-0.2.0.2: bidirectional arrows, bijective functions, and invariant functors

Index - *

*<Control.Invertible.Monoidal