effect-ts-laws
    Preparing search index...

    Variable monadLawsConst

    Typeclass laws for Monad.