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