lawful-classes-types (hackage): Type definitions (aliases) and basic utility functions used in the lawful-classes ecosystem.
Keywords: apache|library|testing|haskell|laws|property-based-testing|quickcheck