Re: Creating a type that is a non-contiguous subset of char?

[mashingan]

since b is declared as WASDLetters , it's inferred so.

But since it's WASDLetters you won't be able to ord(b) and it's detected during 
compile-time checking.