Recetatestingtesting/lawstesting/laws/typesOn this pagetesting/laws/types Interfaces FunctorLawConfig FunctorTestCase MonadLawConfig MonadTestCase