hecrj Remove unused List.Nonempty module
Latest commit 5858bd6 Aug 21, 2018