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.