{"body":"{-# LANGUAGE DataKinds, GADTs, KindSignatures #-}\nimport GHC.TypeLits\ndata MyType (symbol :: Symbol) where\n    A :: MyType \"first\"\n    B :: MyType \"second\"\nmain = do\n    print $ symbolVal A -- \"first\"\n    print $ symbolVal B -- \"second\"","name":"","extension":"hs","url":"https://www.irccloud.com/pastebin/aUqK1mlh","modified":1609121504,"id":"aUqK1mlh","size":236,"lines":8,"own_paste":false,"theme":"","date":1609121436}