Notation for type class logic connectives as `TCAnd`, `TCOr`, ...
In order to use them in a more readable manner, it would be good to have the usual notations for these in a specific scope.
In order to use them in a more readable manner, it would be good to have the usual notations for these in a specific scope.