title: How to get the type-level values of '[String] in Haskell?
body: <p>I can get the value of a type-level <code>String</code> in the following manner:</p>
  
  <pre><code>&gt; :set -XDataKinds
  &gt; import Data.Proxy
  &gt; import GHC.TypeLits
  &gt; symbolVal (Proxy :: Proxy "test")
  "test"
  </code></pre>
  
  <p>How do I go about getting the values of <code>'[String]</code>, such as <code>Proxy :: Proxy '["a", "b", "c"]</code>? I'd like to be able to iterate through the values in code.</p>