Type Alias Concrete<A>

Concrete: {
    [Key in ConcreteClass]: Kind<
        ConcreteLambdas[Key],
        never,
        unknown,
        unknown,
        A,
    >
}

Maps typeclass name to its instance type. For example to get the type of Monoid instance for readonly number[]:

import {Concrete} from 'effect-ts-laws'
type MyMonoidInstance = Concrete<readonly number[]>['Monoid']
// MyMonoidInstance ≡ Monoid<readonly number[]>