Applicative.Law

Source