Are you willing to sacrifice coherence to play with category structures?

Are you willing to sacrifice coherence to play with category structures?
Post Opinion