Switched from Symbols to DataKinds