effect-ts-laws
    Preparing search index...

    Variable covariantLawsConst

    Typeclass laws for Covariant and its requirement Invariant.