category-extras-0.52.1: Various modules and constructs inspired by category theory