<br><div>I uploaded a new fixed length list library to hackage:</div><div><br></div><div><a href="http://hackage.haskell.org/package/fixed-list" target="_blank">http://hackage.haskell.org/package/fixed-list</a></div><div><br>
</div><div><br></div>
<div>Its main advantages are:</div><div> Very easy to use.</div><div> Almost entirely Haskell98 (the non Haskell98 pieces are not critical, just nice)</div><div> The datatype is a member of Foldable, Traverable, Applicative, Monad, etc...</div>
<div> Then length of the list is encoded in the type in a natural way.</div><div><br></div><div><br></div><div>Comments/critiques/suggestions welcome :)</div><div><br></div><div>- Job</div><div><br></div>
<div><br></div><div><br></div>