feature request: implement Category typeclass

[vincent-hui]

Hi Nicola,

Thank you for implementing cat.
Did you implement the equivalent of Category typeclass in cat? If no, would you mind implementing it? So that C++ software engineers can know the concept of Category easier.

Thanks