Function like implementation of the standard type traits library. Final evolution will be into a concept library