Is it possible to put constraints on type alias with concept?

Question

It is fairly straightforward with SFINAE:

using Integral = std::enable_if_t>;

I want the syntax something lik