using template aliases combined with partial specialization of templates

Question

I am banging my head around why the following leads to a compile error. I am a novice in meta programming but to my understanding of SFINAE principle the following functions