The underlying type used for monomorphic typeclass law tests. This means that, for example, if we are testing the Array datatype, the actual type used in the tests will be Array<Mono> ≡ Option<Option<number>>.
Array
Array<Mono> ≡ Option<Option<number>>
The underlying type used for monomorphic typeclass law tests. This means that, for example, if we are testing the
Arraydatatype, the actual type used in the tests will beArray<Mono> ≡ Option<Option<number>>.