You could, but the raison d'être of these operators-as-types is their usefulness in metaprogramming.