It *could* be done and might already have been done... I seem to recall a few months back somebody asked for a similar feature using one of the vector libraries, to limit one of the input vectors to a fixed length?

You'd have to dig through the list archives though...

On 22 June 2015 at 12:36, Imants Cekusins <imantc@gmail.com> wrote:

> But this is checking the values in the implementation, not a type level
build time guarantee, isn't it?

yep, correct. Could be caught by unit tests though :-P

_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners