frunk_laws (cargo): frunk_laws contains laws for algebras declared in Frunk.
Keywords: testing|algebras|frunk|laws|coproduct|datatype-generic-programming|fp|generic|generic-programming|hlist|labelled-generic|lenses|rust|type-level|type-level-programming|validated