Header file types/has_type.hpp

namespace brigand
{
    template <typename T, typename R = void>
    struct has_type
    {
        using type = R;
    };
}