Covariant

Constructs a law from a pure function taking one parameterized value and two functions that can be composed.

Constructs a law from a parameterized value wrapped in two additional layers that can be flattened.

Constructs a law from a pure function taking a single parameter.

Constructs a law from an effectual function taking a single parameter.

Constructs a law from a pure function taking two parameters.

Constructs a law from an effectual function taking two parameters.

Constructs a law from a pure function taking three parameters.

Constructs a law from an effectual function taking three parameters.