How to check if a string is included in a certain type - Theo's Typesafe Cult