Does anyone know of a hackage package that has fixed length list type that is an instance of Applicative, Foldable and Traversable?<br>(a list type that somehow encodes its length in the type)<br><br>I've found lots of fixed length list types, but non that are members of the common typeclasses.<br>
I've implement one here: <a href="http://github.com/jvranish/FixedList/blob/6c861a12ba5d17481fd22cdb1f90404abff7c0bc/src/Data/FixedList.hs">http://github.com/jvranish/FixedList/blob/6c861a12ba5d17481fd22cdb1f90404abff7c0bc/src/Data/FixedList.hs</a><br>
<br>But am I just duplicating work that is already out there?<br><br>Thanks,<br><br>- Job<br>