<div>Hi,<br>   I want to define a record say &quot;Student&quot;.  The &#39;C&#39; equvivalent for the same could be</div>
<div> </div>
<div>struct Person {</div>
<div>     char name[10]</div>
<div>     int age }</div>
<div> </div>
<div>The closest I can find for doing such a thing in haskell appears to be <br> <br>data Person = Person{<br>     name :: [char]<br>     age :: Int<br>}<br> <br>I have not yet been able to find a suitable way to specify the constraint on the length of list(name in this case).</div>

<div>So can someone let me know how we can impose this length constratint on the list  and derive a new type.<br></div>
<div> </div>
<div>If standard haskell doesn&#39;t give this flexibility, are there any extensions in ghc to achieve the same. <br>- Srikanth</div>