title: Mapping Java Array to Frege
body: <p>Lets say I'd like to map the Java code:</p>
  
  <pre><code>package mypackage;
  
  class A {
      public String[] values() {
         return new String[]{"one", "two"};
      }
  }
  </code></pre>
  
  <p>To its Frege counterpart:</p>
  
  <pre><code>data AA = pure native mypackage.A where
      native values :: AA -&gt; [String]
  </code></pre>
  
  <p>At the moment Frege complains with:</p>
  
  <pre><code>error: incompatible types: String[] cannot be converted to TList
  </code></pre>
  
  <p>How can I map a Java array to Frege ?</p>