MonadEx v0.0.1 → Overview → Applicative → Law

Applicative.Law

Source