Don't make Endomorphic remember Category evidence.

Inference for compose, andThen methods is just as good.
Merge pull request #1 from S11001001/endomorphisms

Don't make Endomorphic remember Category evidence.