I'm interested into constraining function extensio...

# random

[elect]

I'm interested into constraining function extensions only to some specific typealias

[gildor]

It's impossible, typealias is just alias and it's not intended to add any additional restrictions
Waiting for inline classes that will cover your case