The underlying type used for monomorphic typeclass law tests. This means that, for example, if we are testing the Option datatype, the actual type used in the tests will be Option<Mono> ≡ Option<readonly number[]>.
Option
Option<Mono> ≡ Option<readonly number[]>
The underlying type used for monomorphic typeclass law tests. This means that, for example, if we are testing the
Optiondatatype, the actual type used in the tests will beOption<Mono> ≡ Option<readonly number[]>.