Const
Readonly
Bounded: BuildConcrete<BoundedTypeLambda>Readonly
Equivalence: BuildConcrete<EquivalenceTypeLambda>Readonly
Monoid: BuildConcrete<MonoidTypeLambda>Readonly
Order: BuildConcrete<OrderTypeLambda>Readonly
Semigroup: BuildConcrete<SemigroupTypeLambda>
Maps typeclass name to its laws, for typeclasses of concrete types.