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