Function monadLaws

Test typeclass laws for Monad.

monadLaws<F, A, B, C, In1, Out2, Out1>(given): LawSet
Type Parameters
- F extends TypeLambda
- A
- B = A
- C = A
- In1 = never
- Out2 = unknown
- Out1 = unknown
Parameters
- given: ParameterizedGiven<MonadTypeLambda, F, A, B, C, In1, Out2, Out1>
Returns LawSet
- Defined in src/laws/typeclass/parameterized/Monad.ts:12