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