nonempty-lift (hackage): nonempty structure, parameterised by another structure
Keywords: bsd3|data|library