type-unary (hackage): Type-level and typed unary natural numbers, vectors, inequality proofs
Keywords: bsd3|data|library