Re-enable all of the laws for IApplicative