# Pastebin aUqK1mlh
{-# LANGUAGE DataKinds, GADTs, KindSignatures #-}
import GHC.TypeLits
data MyType (symbol :: Symbol) where
    A :: MyType "first"
    B :: MyType "second"
main = do
    print $ symbolVal A -- "first"
    print $ symbolVal B -- "second"