Global template specialization in namespace -- alternative?

[Alf P. Steinbach]

Is there any way to get the "enabling" traits definitions textually closer to
(ideally on the line below) the enums they refer to, in the code below?
template< bool shouldBeTrue > struct StaticAssert_;
template<> struct StaticAssert_<t rue> {};

template< typename T >
struct EnumIncrementEn abled_{ enum{ yes = false }; };

template< typename T >
inline T operator++( T& v )
{
StaticAssert_< EnumIncrementEn abled_<T>::yes >();
v = T( v + 1 ); return v;
}

namespace nac_puzzle
{
enum RiverSideEnum{ left, right };
inline RiverSideEnum opposite( RiverSideEnum side )
{
return RiverSideEnum( 1 - side );
}

enum PersonKindEnum{ cannibal, nun };
inline PersonKindEnum opposite( PersonKindEnum kind )
{
return PersonKindEnum( 1 - kind );
}

enum { nPersonsOfAKind = 3, maxPerTransfer = 2 };
}
template<> struct EnumIncrementEn abled_<nac_puzz le::RiverSideEn um>
{ enum{ yes = true }; };
template<> struct EnumIncrementEn abled_<nac_puzz le::PersonKindE num>
{ enum{ yes = true }; };

--
A: Because it messes up the order in which people normally read text.
Q: Why is it such a bad thing?
A: Top-posting.
Q: What is the most annoying thing on usenet and in e-mail?