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

Index - |

|<Control.Invertible.Monoidal