p3rsik

From ExtLib.Structures Require Import Monad MonadWriter MonadExc Monoid.
From ExtLib.Data Require Import Monads.WriterMonad List.
Require Import ZArith.

Import MonadNotation.

Open Scope monad.

Section Error.