0.7.0.3

• Support GHC 9.0.

0.7.0.2

• Add Safe pragmas.

0.7.0.1

• Fix MonadReader r (LogicT m) instance again.

0.7.0.0

• Remove unlawful MonadLogic (Writer T w m) instances.
• Fix MonadReader r (LogicT m) instance.
• Move lnot into MonadLogic class.

0.6.0.3

• Comply with MonadFail proposal.