There are a number of intermediate lists that are certainly non-empty, but their types don't reflect that. I wonder if using a non-empty list type unpacked into the list of lists might be helpful.

On Mar 28, 2017 3:39 PM, "Gregory Popovitch" <greg7mdp@gmail.com> wrote:

OK, here is the current proposed change - tests look good:

 

 

Any comments/opposition from the community?

 

Thanks,

 

greg

 

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