effect-ts-laws
    Preparing search index...

    Variable contravariantLawsConst

    Typeclass laws for Contravariant and its requirement: Invariant.