ConstReadonlyBounded: BuildConcrete<BoundedTypeLambda>ReadonlyEquivalence: BuildConcrete<EquivalenceTypeLambda>ReadonlyMonoid: BuildConcrete<MonoidTypeLambda>ReadonlyOrder: BuildConcrete<OrderTypeLambda>ReadonlySemigroup: BuildConcrete<SemigroupTypeLambda>
Maps typeclass name to its laws, for typeclasses of concrete types.