Re: cannot create an instance of subset type

[Ben Davies]

It looks like you're trying to create an alias for a type. I'd use a 
constant for this, not a subset, for reasons Brad has already explained. 
Your code runs fine for me when DEF is written like my constant DEF = ABC.