Don't make Endomorphic remember Category evidence.

Inference for compose, andThen methods is just as good because the type lambda sticks around and guides the Category[???] lookup.