joinLaw

ApplicativeLaws

joinWithLaw

ApplicativeLaws