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

Index - $

$<Control.Invertible.Monoidal