Added HasCallStack

input-output-hk · May 9, 2024 · bbe6132 · bbe6132
1 parent ca530ee
commit bbe6132
Show file tree

Hide file tree

Showing 547 changed files with 998 additions and 984 deletions.
diff --git a/Lib.hs b/Lib.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Bool.hs b/MAlonzo/Code/Agda/Builtin/Bool.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Char.hs b/MAlonzo/Code/Agda/Builtin/Char.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Char/Properties.hs b/MAlonzo/Code/Agda/Builtin/Char/Properties.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Equality.hs b/MAlonzo/Code/Agda/Builtin/Equality.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Float.hs b/MAlonzo/Code/Agda/Builtin/Float.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Float/Properties.hs b/MAlonzo/Code/Agda/Builtin/Float/Properties.hs
diff --git a/MAlonzo/Code/Agda/Builtin/FromNat.hs b/MAlonzo/Code/Agda/Builtin/FromNat.hs
diff --git a/MAlonzo/Code/Agda/Builtin/IO.hs b/MAlonzo/Code/Agda/Builtin/IO.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Int.hs b/MAlonzo/Code/Agda/Builtin/Int.hs
diff --git a/MAlonzo/Code/Agda/Builtin/List.hs b/MAlonzo/Code/Agda/Builtin/List.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Maybe.hs b/MAlonzo/Code/Agda/Builtin/Maybe.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Nat.hs b/MAlonzo/Code/Agda/Builtin/Nat.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Reflection.hs b/MAlonzo/Code/Agda/Builtin/Reflection.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Reflection/Properties.hs b/MAlonzo/Code/Agda/Builtin/Reflection/Properties.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Sigma.hs b/MAlonzo/Code/Agda/Builtin/Sigma.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Strict.hs b/MAlonzo/Code/Agda/Builtin/Strict.hs
diff --git a/MAlonzo/Code/Agda/Builtin/String.hs b/MAlonzo/Code/Agda/Builtin/String.hs
diff --git a/MAlonzo/Code/Agda/Builtin/String/Properties.hs b/MAlonzo/Code/Agda/Builtin/String/Properties.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Unit.hs b/MAlonzo/Code/Agda/Builtin/Unit.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Word.hs b/MAlonzo/Code/Agda/Builtin/Word.hs
diff --git a/MAlonzo/Code/Agda/Builtin/Word/Properties.hs b/MAlonzo/Code/Agda/Builtin/Word/Properties.hs
diff --git a/MAlonzo/Code/Agda/Primitive.hs b/MAlonzo/Code/Agda/Primitive.hs
diff --git a/MAlonzo/Code/Algebra.hs b/MAlonzo/Code/Algebra.hs
diff --git a/MAlonzo/Code/Algebra/Apartness.hs b/MAlonzo/Code/Algebra/Apartness.hs
diff --git a/MAlonzo/Code/Algebra/Apartness/Bundles.hs b/MAlonzo/Code/Algebra/Apartness/Bundles.hs
diff --git a/MAlonzo/Code/Algebra/Apartness/Structures.hs b/MAlonzo/Code/Algebra/Apartness/Structures.hs
diff --git a/MAlonzo/Code/Algebra/Bundles.hs b/MAlonzo/Code/Algebra/Bundles.hs
diff --git a/MAlonzo/Code/Algebra/Bundles/Raw.hs b/MAlonzo/Code/Algebra/Bundles/Raw.hs
diff --git a/MAlonzo/Code/Algebra/Consequences/Base.hs b/MAlonzo/Code/Algebra/Consequences/Base.hs
diff --git a/MAlonzo/Code/Algebra/Consequences/Propositional.hs b/MAlonzo/Code/Algebra/Consequences/Propositional.hs
diff --git a/MAlonzo/Code/Algebra/Consequences/Setoid.hs b/MAlonzo/Code/Algebra/Consequences/Setoid.hs
diff --git a/MAlonzo/Code/Algebra/Construct/LiftedChoice.hs b/MAlonzo/Code/Algebra/Construct/LiftedChoice.hs
diff --git a/MAlonzo/Code/Algebra/Construct/NaturalChoice/Base.hs b/MAlonzo/Code/Algebra/Construct/NaturalChoice/Base.hs
diff --git a/MAlonzo/Code/Algebra/Construct/NaturalChoice/Max.hs b/MAlonzo/Code/Algebra/Construct/NaturalChoice/Max.hs
diff --git a/MAlonzo/Code/Algebra/Construct/NaturalChoice/MaxOp.hs b/MAlonzo/Code/Algebra/Construct/NaturalChoice/MaxOp.hs
diff --git a/MAlonzo/Code/Algebra/Construct/NaturalChoice/Min.hs b/MAlonzo/Code/Algebra/Construct/NaturalChoice/Min.hs
diff --git a/MAlonzo/Code/Algebra/Construct/NaturalChoice/MinMaxOp.hs b/MAlonzo/Code/Algebra/Construct/NaturalChoice/MinMaxOp.hs
diff --git a/MAlonzo/Code/Algebra/Construct/NaturalChoice/MinOp.hs b/MAlonzo/Code/Algebra/Construct/NaturalChoice/MinOp.hs
diff --git a/MAlonzo/Code/Algebra/Core.hs b/MAlonzo/Code/Algebra/Core.hs
diff --git a/MAlonzo/Code/Algebra/Definitions.hs b/MAlonzo/Code/Algebra/Definitions.hs
diff --git a/MAlonzo/Code/Algebra/Definitions/RawMagma.hs b/MAlonzo/Code/Algebra/Definitions/RawMagma.hs
diff --git a/MAlonzo/Code/Algebra/Definitions/RawMonoid.hs b/MAlonzo/Code/Algebra/Definitions/RawMonoid.hs
diff --git a/MAlonzo/Code/Algebra/Definitions/RawSemiring.hs b/MAlonzo/Code/Algebra/Definitions/RawSemiring.hs
diff --git a/MAlonzo/Code/Algebra/Function.hs b/MAlonzo/Code/Algebra/Function.hs
diff --git a/MAlonzo/Code/Algebra/Lattice.hs b/MAlonzo/Code/Algebra/Lattice.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Bundles.hs b/MAlonzo/Code/Algebra/Lattice/Bundles.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Bundles/Raw.hs b/MAlonzo/Code/Algebra/Lattice/Bundles/Raw.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Construct/NaturalChoice/MaxOp.hs b/MAlonzo/Code/Algebra/Lattice/Construct/NaturalChoice/MaxOp.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Construct/NaturalChoice/MinMaxOp.hs b/MAlonzo/Code/Algebra/Lattice/Construct/NaturalChoice/MinMaxOp.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Construct/NaturalChoice/MinOp.hs b/MAlonzo/Code/Algebra/Lattice/Construct/NaturalChoice/MinOp.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Morphism/LatticeMonomorphism.hs b/MAlonzo/Code/Algebra/Lattice/Morphism/LatticeMonomorphism.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Morphism/Structures.hs b/MAlonzo/Code/Algebra/Lattice/Morphism/Structures.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Properties/BooleanAlgebra.hs b/MAlonzo/Code/Algebra/Lattice/Properties/BooleanAlgebra.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Properties/DistributiveLattice.hs b/MAlonzo/Code/Algebra/Lattice/Properties/DistributiveLattice.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Properties/Lattice.hs b/MAlonzo/Code/Algebra/Lattice/Properties/Lattice.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Properties/Semilattice.hs b/MAlonzo/Code/Algebra/Lattice/Properties/Semilattice.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Structures.hs b/MAlonzo/Code/Algebra/Lattice/Structures.hs
diff --git a/MAlonzo/Code/Algebra/Lattice/Structures/Biased.hs b/MAlonzo/Code/Algebra/Lattice/Structures/Biased.hs
diff --git a/MAlonzo/Code/Algebra/Morphism.hs b/MAlonzo/Code/Algebra/Morphism.hs
diff --git a/MAlonzo/Code/Algebra/Morphism/Construct/Identity.hs b/MAlonzo/Code/Algebra/Morphism/Construct/Identity.hs
diff --git a/MAlonzo/Code/Algebra/Morphism/Definitions.hs b/MAlonzo/Code/Algebra/Morphism/Definitions.hs
diff --git a/MAlonzo/Code/Algebra/Morphism/GroupMonomorphism.hs b/MAlonzo/Code/Algebra/Morphism/GroupMonomorphism.hs
diff --git a/MAlonzo/Code/Algebra/Morphism/MagmaMonomorphism.hs b/MAlonzo/Code/Algebra/Morphism/MagmaMonomorphism.hs
diff --git a/MAlonzo/Code/Algebra/Morphism/MonoidMonomorphism.hs b/MAlonzo/Code/Algebra/Morphism/MonoidMonomorphism.hs
diff --git a/MAlonzo/Code/Algebra/Morphism/RingMonomorphism.hs b/MAlonzo/Code/Algebra/Morphism/RingMonomorphism.hs
diff --git a/MAlonzo/Code/Algebra/Morphism/Structures.hs b/MAlonzo/Code/Algebra/Morphism/Structures.hs
diff --git a/MAlonzo/Code/Algebra/PairOp.hs b/MAlonzo/Code/Algebra/PairOp.hs
diff --git a/MAlonzo/Code/Algebra/Properties/AbelianGroup.hs b/MAlonzo/Code/Algebra/Properties/AbelianGroup.hs
diff --git a/MAlonzo/Code/Algebra/Properties/CommutativeMonoid.hs b/MAlonzo/Code/Algebra/Properties/CommutativeMonoid.hs
diff --git a/MAlonzo/Code/Algebra/Properties/CommutativeSemigroup.hs b/MAlonzo/Code/Algebra/Properties/CommutativeSemigroup.hs
diff --git a/MAlonzo/Code/Algebra/Properties/Group.hs b/MAlonzo/Code/Algebra/Properties/Group.hs
diff --git a/MAlonzo/Code/Algebra/Properties/Monoid/Mult.hs b/MAlonzo/Code/Algebra/Properties/Monoid/Mult.hs
diff --git a/MAlonzo/Code/Algebra/Properties/Ring.hs b/MAlonzo/Code/Algebra/Properties/Ring.hs
diff --git a/MAlonzo/Code/Algebra/Properties/Semigroup.hs b/MAlonzo/Code/Algebra/Properties/Semigroup.hs
diff --git a/MAlonzo/Code/Algebra/Properties/Semiring/Exp.hs b/MAlonzo/Code/Algebra/Properties/Semiring/Exp.hs
diff --git a/MAlonzo/Code/Algebra/Solver/Ring.hs b/MAlonzo/Code/Algebra/Solver/Ring.hs
diff --git a/MAlonzo/Code/Algebra/Solver/Ring/AlmostCommutativeRing.hs b/MAlonzo/Code/Algebra/Solver/Ring/AlmostCommutativeRing.hs
diff --git a/MAlonzo/Code/Algebra/Solver/Ring/Lemmas.hs b/MAlonzo/Code/Algebra/Solver/Ring/Lemmas.hs
diff --git a/MAlonzo/Code/Algebra/Solver/Ring/Simple.hs b/MAlonzo/Code/Algebra/Solver/Ring/Simple.hs
diff --git a/MAlonzo/Code/Algebra/Structures.hs b/MAlonzo/Code/Algebra/Structures.hs
diff --git a/MAlonzo/Code/Algebra/Structures/Biased.hs b/MAlonzo/Code/Algebra/Structures/Biased.hs
diff --git a/MAlonzo/Code/Axiom/Extensionality/Propositional.hs b/MAlonzo/Code/Axiom/Extensionality/Propositional.hs
diff --git a/MAlonzo/Code/Axiom/Set.hs b/MAlonzo/Code/Axiom/Set.hs
diff --git a/MAlonzo/Code/Axiom/Set/Factor.hs b/MAlonzo/Code/Axiom/Set/Factor.hs
diff --git a/MAlonzo/Code/Axiom/Set/List.hs b/MAlonzo/Code/Axiom/Set/List.hs
diff --git a/MAlonzo/Code/Axiom/Set/Map.hs b/MAlonzo/Code/Axiom/Set/Map.hs
diff --git a/MAlonzo/Code/Axiom/Set/Map/Dec.hs b/MAlonzo/Code/Axiom/Set/Map/Dec.hs
diff --git a/MAlonzo/Code/Axiom/Set/Properties.hs b/MAlonzo/Code/Axiom/Set/Properties.hs
diff --git a/MAlonzo/Code/Axiom/Set/Rel.hs b/MAlonzo/Code/Axiom/Set/Rel.hs
diff --git a/MAlonzo/Code/Axiom/Set/Sum.hs b/MAlonzo/Code/Axiom/Set/Sum.hs
diff --git a/MAlonzo/Code/Axiom/Set/TotalMap.hs b/MAlonzo/Code/Axiom/Set/TotalMap.hs
diff --git a/MAlonzo/Code/Axiom/Set/TotalMapOn.hs b/MAlonzo/Code/Axiom/Set/TotalMapOn.hs
diff --git a/MAlonzo/Code/Axiom/UniquenessOfIdentityProofs.hs b/MAlonzo/Code/Axiom/UniquenessOfIdentityProofs.hs
diff --git a/MAlonzo/Code/Class/Applicative.hs b/MAlonzo/Code/Class/Applicative.hs
diff --git a/MAlonzo/Code/Class/Applicative/Core.hs b/MAlonzo/Code/Class/Applicative/Core.hs
diff --git a/MAlonzo/Code/Class/Applicative/Instances.hs b/MAlonzo/Code/Class/Applicative/Instances.hs
diff --git a/MAlonzo/Code/Class/Bifunctor.hs b/MAlonzo/Code/Class/Bifunctor.hs
diff --git a/MAlonzo/Code/Class/Core.hs b/MAlonzo/Code/Class/Core.hs
diff --git a/MAlonzo/Code/Class/DecEq.hs b/MAlonzo/Code/Class/DecEq.hs
diff --git a/MAlonzo/Code/Class/DecEq/Core.hs b/MAlonzo/Code/Class/DecEq/Core.hs
diff --git a/MAlonzo/Code/Class/DecEq/Instances.hs b/MAlonzo/Code/Class/DecEq/Instances.hs
diff --git a/MAlonzo/Code/Class/Decidable.hs b/MAlonzo/Code/Class/Decidable.hs
diff --git a/MAlonzo/Code/Class/Decidable/Core.hs b/MAlonzo/Code/Class/Decidable/Core.hs
diff --git a/MAlonzo/Code/Class/Decidable/Instances.hs b/MAlonzo/Code/Class/Decidable/Instances.hs
diff --git a/MAlonzo/Code/Class/Foldable.hs b/MAlonzo/Code/Class/Foldable.hs
diff --git a/MAlonzo/Code/Class/Foldable/Core.hs b/MAlonzo/Code/Class/Foldable/Core.hs
diff --git a/MAlonzo/Code/Class/Foldable/Instances.hs b/MAlonzo/Code/Class/Foldable/Instances.hs
diff --git a/MAlonzo/Code/Class/Functor.hs b/MAlonzo/Code/Class/Functor.hs
diff --git a/MAlonzo/Code/Class/Functor/Core.hs b/MAlonzo/Code/Class/Functor/Core.hs
diff --git a/MAlonzo/Code/Class/Functor/Instances.hs b/MAlonzo/Code/Class/Functor/Instances.hs
diff --git a/MAlonzo/Code/Class/Monad.hs b/MAlonzo/Code/Class/Monad.hs
diff --git a/MAlonzo/Code/Class/Monad/Core.hs b/MAlonzo/Code/Class/Monad/Core.hs
diff --git a/MAlonzo/Code/Class/Monad/Instances.hs b/MAlonzo/Code/Class/Monad/Instances.hs
diff --git a/MAlonzo/Code/Class/MonadError.hs b/MAlonzo/Code/Class/MonadError.hs
diff --git a/MAlonzo/Code/Class/MonadError/Instances.hs b/MAlonzo/Code/Class/MonadError/Instances.hs
diff --git a/MAlonzo/Code/Class/MonadReader.hs b/MAlonzo/Code/Class/MonadReader.hs
diff --git a/MAlonzo/Code/Class/MonadReader/Instances.hs b/MAlonzo/Code/Class/MonadReader/Instances.hs
diff --git a/MAlonzo/Code/Class/MonadTC.hs b/MAlonzo/Code/Class/MonadTC.hs
diff --git a/MAlonzo/Code/Class/MonadTC/Instances.hs b/MAlonzo/Code/Class/MonadTC/Instances.hs
diff --git a/MAlonzo/Code/Class/Monoid.hs b/MAlonzo/Code/Class/Monoid.hs
diff --git a/MAlonzo/Code/Class/Monoid/Core.hs b/MAlonzo/Code/Class/Monoid/Core.hs
diff --git a/MAlonzo/Code/Class/Monoid/Instances.hs b/MAlonzo/Code/Class/Monoid/Instances.hs
diff --git a/MAlonzo/Code/Class/Prelude.hs b/MAlonzo/Code/Class/Prelude.hs
diff --git a/MAlonzo/Code/Class/Semigroup.hs b/MAlonzo/Code/Class/Semigroup.hs
diff --git a/MAlonzo/Code/Class/Semigroup/Core.hs b/MAlonzo/Code/Class/Semigroup/Core.hs
diff --git a/MAlonzo/Code/Class/Semigroup/Instances.hs b/MAlonzo/Code/Class/Semigroup/Instances.hs
diff --git a/MAlonzo/Code/Class/Show.hs b/MAlonzo/Code/Class/Show.hs
diff --git a/MAlonzo/Code/Class/Show/Core.hs b/MAlonzo/Code/Class/Show/Core.hs
diff --git a/MAlonzo/Code/Class/Show/Instances.hs b/MAlonzo/Code/Class/Show/Instances.hs
diff --git a/MAlonzo/Code/Class/Traversable.hs b/MAlonzo/Code/Class/Traversable.hs
diff --git a/MAlonzo/Code/Class/Traversable/Core.hs b/MAlonzo/Code/Class/Traversable/Core.hs
diff --git a/MAlonzo/Code/Class/Traversable/Instances.hs b/MAlonzo/Code/Class/Traversable/Instances.hs
diff --git a/MAlonzo/Code/Data/Bool.hs b/MAlonzo/Code/Data/Bool.hs
diff --git a/MAlonzo/Code/Data/Bool/Base.hs b/MAlonzo/Code/Data/Bool/Base.hs
diff --git a/MAlonzo/Code/Data/Bool/Properties.hs b/MAlonzo/Code/Data/Bool/Properties.hs
diff --git a/MAlonzo/Code/Data/Bool/Show.hs b/MAlonzo/Code/Data/Bool/Show.hs
diff --git a/MAlonzo/Code/Data/Char.hs b/MAlonzo/Code/Data/Char.hs
diff --git a/MAlonzo/Code/Data/Char/Base.hs b/MAlonzo/Code/Data/Char/Base.hs
diff --git a/MAlonzo/Code/Data/Char/Properties.hs b/MAlonzo/Code/Data/Char/Properties.hs
diff --git a/MAlonzo/Code/Data/Container.hs b/MAlonzo/Code/Data/Container.hs
diff --git a/MAlonzo/Code/Data/Container/Core.hs b/MAlonzo/Code/Data/Container/Core.hs
diff --git a/MAlonzo/Code/Data/Container/Membership.hs b/MAlonzo/Code/Data/Container/Membership.hs
diff --git a/MAlonzo/Code/Data/Container/Morphism.hs b/MAlonzo/Code/Data/Container/Morphism.hs
diff --git a/MAlonzo/Code/Data/Container/Morphism/Properties.hs b/MAlonzo/Code/Data/Container/Morphism/Properties.hs
diff --git a/MAlonzo/Code/Data/Container/Properties.hs b/MAlonzo/Code/Data/Container/Properties.hs
diff --git a/MAlonzo/Code/Data/Container/Related.hs b/MAlonzo/Code/Data/Container/Related.hs
diff --git a/MAlonzo/Code/Data/Container/Relation/Binary/Equality/Setoid.hs b/MAlonzo/Code/Data/Container/Relation/Binary/Equality/Setoid.hs
diff --git a/MAlonzo/Code/Data/Container/Relation/Binary/Pointwise.hs b/MAlonzo/Code/Data/Container/Relation/Binary/Pointwise.hs
diff --git a/MAlonzo/Code/Data/Container/Relation/Binary/Pointwise/Properties.hs b/MAlonzo/Code/Data/Container/Relation/Binary/Pointwise/Properties.hs
diff --git a/MAlonzo/Code/Data/Container/Relation/Unary/All.hs b/MAlonzo/Code/Data/Container/Relation/Unary/All.hs
diff --git a/MAlonzo/Code/Data/Container/Relation/Unary/Any.hs b/MAlonzo/Code/Data/Container/Relation/Unary/Any.hs
diff --git a/MAlonzo/Code/Data/Digit.hs b/MAlonzo/Code/Data/Digit.hs
diff --git a/MAlonzo/Code/Data/Empty.hs b/MAlonzo/Code/Data/Empty.hs
diff --git a/MAlonzo/Code/Data/Empty/Irrelevant.hs b/MAlonzo/Code/Data/Empty/Irrelevant.hs
diff --git a/MAlonzo/Code/Data/Empty/Polymorphic.hs b/MAlonzo/Code/Data/Empty/Polymorphic.hs
diff --git a/MAlonzo/Code/Data/Fin.hs b/MAlonzo/Code/Data/Fin.hs
diff --git a/MAlonzo/Code/Data/Fin/Base.hs b/MAlonzo/Code/Data/Fin/Base.hs
diff --git a/MAlonzo/Code/Data/Fin/Patterns.hs b/MAlonzo/Code/Data/Fin/Patterns.hs
diff --git a/MAlonzo/Code/Data/Fin/Properties.hs b/MAlonzo/Code/Data/Fin/Properties.hs
diff --git a/MAlonzo/Code/Data/Float.hs b/MAlonzo/Code/Data/Float.hs
diff --git a/MAlonzo/Code/Data/Float/Base.hs b/MAlonzo/Code/Data/Float/Base.hs
diff --git a/MAlonzo/Code/Data/Float/Properties.hs b/MAlonzo/Code/Data/Float/Properties.hs
diff --git a/MAlonzo/Code/Data/Integer.hs b/MAlonzo/Code/Data/Integer.hs
diff --git a/MAlonzo/Code/Data/Integer/Base.hs b/MAlonzo/Code/Data/Integer/Base.hs
diff --git a/MAlonzo/Code/Data/Integer/Coprimality.hs b/MAlonzo/Code/Data/Integer/Coprimality.hs
diff --git a/MAlonzo/Code/Data/Integer/Divisibility.hs b/MAlonzo/Code/Data/Integer/Divisibility.hs
diff --git a/MAlonzo/Code/Data/Integer/Ext.hs b/MAlonzo/Code/Data/Integer/Ext.hs
diff --git a/MAlonzo/Code/Data/Integer/GCD.hs b/MAlonzo/Code/Data/Integer/GCD.hs
diff --git a/MAlonzo/Code/Data/Integer/Properties.hs b/MAlonzo/Code/Data/Integer/Properties.hs
diff --git a/MAlonzo/Code/Data/Integer/Show.hs b/MAlonzo/Code/Data/Integer/Show.hs
diff --git a/MAlonzo/Code/Data/Integer/Solver.hs b/MAlonzo/Code/Data/Integer/Solver.hs
diff --git a/MAlonzo/Code/Data/Irrelevant.hs b/MAlonzo/Code/Data/Irrelevant.hs
diff --git a/MAlonzo/Code/Data/List.hs b/MAlonzo/Code/Data/List.hs
diff --git a/MAlonzo/Code/Data/List/Base.hs b/MAlonzo/Code/Data/List/Base.hs
diff --git a/MAlonzo/Code/Data/List/Effectful.hs b/MAlonzo/Code/Data/List/Effectful.hs
diff --git a/MAlonzo/Code/Data/List/Ext.hs b/MAlonzo/Code/Data/List/Ext.hs
diff --git a/MAlonzo/Code/Data/List/Ext/Properties.hs b/MAlonzo/Code/Data/List/Ext/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Extrema.hs b/MAlonzo/Code/Data/List/Extrema.hs
diff --git a/MAlonzo/Code/Data/List/Extrema/Core.hs b/MAlonzo/Code/Data/List/Extrema/Core.hs
diff --git a/MAlonzo/Code/Data/List/Membership/DecPropositional.hs b/MAlonzo/Code/Data/List/Membership/DecPropositional.hs
diff --git a/MAlonzo/Code/Data/List/Membership/DecSetoid.hs b/MAlonzo/Code/Data/List/Membership/DecSetoid.hs
diff --git a/MAlonzo/Code/Data/List/Membership/Propositional.hs b/MAlonzo/Code/Data/List/Membership/Propositional.hs
diff --git a/MAlonzo/Code/Data/List/Membership/Propositional/Properties.hs b/MAlonzo/Code/Data/List/Membership/Propositional/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Membership/Propositional/Properties/Core.hs b/MAlonzo/Code/Data/List/Membership/Propositional/Properties/Core.hs
diff --git a/MAlonzo/Code/Data/List/Membership/Setoid.hs b/MAlonzo/Code/Data/List/Membership/Setoid.hs
diff --git a/MAlonzo/Code/Data/List/Membership/Setoid/Properties.hs b/MAlonzo/Code/Data/List/Membership/Setoid/Properties.hs
diff --git a/MAlonzo/Code/Data/List/NonEmpty.hs b/MAlonzo/Code/Data/List/NonEmpty.hs
diff --git a/MAlonzo/Code/Data/List/NonEmpty/Base.hs b/MAlonzo/Code/Data/List/NonEmpty/Base.hs
diff --git a/MAlonzo/Code/Data/List/Properties.hs b/MAlonzo/Code/Data/List/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/BagAndSetEquality.hs b/MAlonzo/Code/Data/List/Relation/Binary/BagAndSetEquality.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Disjoint/Propositional.hs b/MAlonzo/Code/Data/List/Relation/Binary/Disjoint/Propositional.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Disjoint/Setoid.hs b/MAlonzo/Code/Data/List/Relation/Binary/Disjoint/Setoid.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Disjoint/Setoid/Properties.hs b/MAlonzo/Code/Data/List/Relation/Binary/Disjoint/Setoid/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Equality/Propositional.hs b/MAlonzo/Code/Data/List/Relation/Binary/Equality/Propositional.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Equality/Setoid.hs b/MAlonzo/Code/Data/List/Relation/Binary/Equality/Setoid.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Lex.hs b/MAlonzo/Code/Data/List/Relation/Binary/Lex.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Lex/Core.hs b/MAlonzo/Code/Data/List/Relation/Binary/Lex/Core.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Lex/Strict.hs b/MAlonzo/Code/Data/List/Relation/Binary/Lex/Strict.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Permutation/Homogeneous.hs b/MAlonzo/Code/Data/List/Relation/Binary/Permutation/Homogeneous.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Permutation/Propositional.hs b/MAlonzo/Code/Data/List/Relation/Binary/Permutation/Propositional.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Permutation/Propositional/Properties.hs b/MAlonzo/Code/Data/List/Relation/Binary/Permutation/Propositional/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Permutation/Setoid.hs b/MAlonzo/Code/Data/List/Relation/Binary/Permutation/Setoid.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Permutation/Setoid/Properties.hs b/MAlonzo/Code/Data/List/Relation/Binary/Permutation/Setoid/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Pointwise.hs b/MAlonzo/Code/Data/List/Relation/Binary/Pointwise.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Pointwise/Base.hs b/MAlonzo/Code/Data/List/Relation/Binary/Pointwise/Base.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Pointwise/Properties.hs b/MAlonzo/Code/Data/List/Relation/Binary/Pointwise/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Ext.hs b/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Ext.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Heterogeneous.hs b/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Heterogeneous.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.hs b/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.hs b/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Propositional.hs b/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Propositional.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Setoid.hs b/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Setoid.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Setoid/Properties.hs b/MAlonzo/Code/Data/List/Relation/Binary/Sublist/Setoid/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Subset/Propositional.hs b/MAlonzo/Code/Data/List/Relation/Binary/Subset/Propositional.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Subset/Propositional/Properties.hs b/MAlonzo/Code/Data/List/Relation/Binary/Subset/Propositional/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Subset/Setoid.hs b/MAlonzo/Code/Data/List/Relation/Binary/Subset/Setoid.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Binary/Subset/Setoid/Properties.hs b/MAlonzo/Code/Data/List/Relation/Binary/Subset/Setoid/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/All.hs b/MAlonzo/Code/Data/List/Relation/Unary/All.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/All/Properties.hs b/MAlonzo/Code/Data/List/Relation/Unary/All/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/AllPairs.hs b/MAlonzo/Code/Data/List/Relation/Unary/AllPairs.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/AllPairs/Core.hs b/MAlonzo/Code/Data/List/Relation/Unary/AllPairs/Core.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/AllPairs/Properties.hs b/MAlonzo/Code/Data/List/Relation/Unary/AllPairs/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Any.hs b/MAlonzo/Code/Data/List/Relation/Unary/Any.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Any/Properties.hs b/MAlonzo/Code/Data/List/Relation/Unary/Any/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Linked.hs b/MAlonzo/Code/Data/List/Relation/Unary/Linked.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Linked/Properties.hs b/MAlonzo/Code/Data/List/Relation/Unary/Linked/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/MOf.hs b/MAlonzo/Code/Data/List/Relation/Unary/MOf.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Sorted/TotalOrder.hs b/MAlonzo/Code/Data/List/Relation/Unary/Sorted/TotalOrder.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.hs b/MAlonzo/Code/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Unique/DecPropositional.hs b/MAlonzo/Code/Data/List/Relation/Unary/Unique/DecPropositional.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Unique/DecPropositional/Properties.hs b/MAlonzo/Code/Data/List/Relation/Unary/Unique/DecPropositional/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Unique/DecSetoid.hs b/MAlonzo/Code/Data/List/Relation/Unary/Unique/DecSetoid.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Unique/DecSetoid/Properties.hs b/MAlonzo/Code/Data/List/Relation/Unary/Unique/DecSetoid/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Unique/Propositional.hs b/MAlonzo/Code/Data/List/Relation/Unary/Unique/Propositional.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Unique/Propositional/Properties.hs b/MAlonzo/Code/Data/List/Relation/Unary/Unique/Propositional/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Unique/Propositional/Properties/WithK.hs b/MAlonzo/Code/Data/List/Relation/Unary/Unique/Propositional/Properties/WithK.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Unique/Setoid.hs b/MAlonzo/Code/Data/List/Relation/Unary/Unique/Setoid.hs
diff --git a/MAlonzo/Code/Data/List/Relation/Unary/Unique/Setoid/Properties.hs b/MAlonzo/Code/Data/List/Relation/Unary/Unique/Setoid/Properties.hs
diff --git a/MAlonzo/Code/Data/List/Sort.hs b/MAlonzo/Code/Data/List/Sort.hs
diff --git a/MAlonzo/Code/Data/List/Sort/Base.hs b/MAlonzo/Code/Data/List/Sort/Base.hs
diff --git a/MAlonzo/Code/Data/List/Sort/MergeSort.hs b/MAlonzo/Code/Data/List/Sort/MergeSort.hs
diff --git a/MAlonzo/Code/Data/Maybe.hs b/MAlonzo/Code/Data/Maybe.hs
diff --git a/MAlonzo/Code/Data/Maybe/Base.hs b/MAlonzo/Code/Data/Maybe/Base.hs
diff --git a/MAlonzo/Code/Data/Maybe/Effectful.hs b/MAlonzo/Code/Data/Maybe/Effectful.hs
diff --git a/MAlonzo/Code/Data/Maybe/Properties.hs b/MAlonzo/Code/Data/Maybe/Properties.hs
diff --git a/MAlonzo/Code/Data/Maybe/Properties/Ext.hs b/MAlonzo/Code/Data/Maybe/Properties/Ext.hs
diff --git a/MAlonzo/Code/Data/Maybe/Relation/Binary/Connected.hs b/MAlonzo/Code/Data/Maybe/Relation/Binary/Connected.hs
diff --git a/MAlonzo/Code/Data/Maybe/Relation/Unary/All.hs b/MAlonzo/Code/Data/Maybe/Relation/Unary/All.hs
diff --git a/MAlonzo/Code/Data/Maybe/Relation/Unary/Any.hs b/MAlonzo/Code/Data/Maybe/Relation/Unary/Any.hs
diff --git a/MAlonzo/Code/Data/Nat.hs b/MAlonzo/Code/Data/Nat.hs
diff --git a/MAlonzo/Code/Data/Nat/Base.hs b/MAlonzo/Code/Data/Nat/Base.hs
diff --git a/MAlonzo/Code/Data/Nat/Coprimality.hs b/MAlonzo/Code/Data/Nat/Coprimality.hs
diff --git a/MAlonzo/Code/Data/Nat/DivMod.hs b/MAlonzo/Code/Data/Nat/DivMod.hs
diff --git a/MAlonzo/Code/Data/Nat/DivMod/Core.hs b/MAlonzo/Code/Data/Nat/DivMod/Core.hs
diff --git a/MAlonzo/Code/Data/Nat/Divisibility.hs b/MAlonzo/Code/Data/Nat/Divisibility.hs
diff --git a/MAlonzo/Code/Data/Nat/Divisibility/Core.hs b/MAlonzo/Code/Data/Nat/Divisibility/Core.hs
diff --git a/MAlonzo/Code/Data/Nat/GCD.hs b/MAlonzo/Code/Data/Nat/GCD.hs
diff --git a/MAlonzo/Code/Data/Nat/GCD/Lemmas.hs b/MAlonzo/Code/Data/Nat/GCD/Lemmas.hs
diff --git a/MAlonzo/Code/Data/Nat/GeneralisedArithmetic.hs b/MAlonzo/Code/Data/Nat/GeneralisedArithmetic.hs
diff --git a/MAlonzo/Code/Data/Nat/Induction.hs b/MAlonzo/Code/Data/Nat/Induction.hs
diff --git a/MAlonzo/Code/Data/Nat/Literals.hs b/MAlonzo/Code/Data/Nat/Literals.hs
diff --git a/MAlonzo/Code/Data/Nat/Primality.hs b/MAlonzo/Code/Data/Nat/Primality.hs
diff --git a/MAlonzo/Code/Data/Nat/Properties.hs b/MAlonzo/Code/Data/Nat/Properties.hs
diff --git a/MAlonzo/Code/Data/Nat/Properties/Ext.hs b/MAlonzo/Code/Data/Nat/Properties/Ext.hs
diff --git a/MAlonzo/Code/Data/Nat/Show.hs b/MAlonzo/Code/Data/Nat/Show.hs
diff --git a/MAlonzo/Code/Data/Nat/Solver.hs b/MAlonzo/Code/Data/Nat/Solver.hs
diff --git a/MAlonzo/Code/Data/Parity/Base.hs b/MAlonzo/Code/Data/Parity/Base.hs
diff --git a/MAlonzo/Code/Data/Product.hs b/MAlonzo/Code/Data/Product.hs
diff --git a/MAlonzo/Code/Data/Product/Algebra.hs b/MAlonzo/Code/Data/Product/Algebra.hs
diff --git a/MAlonzo/Code/Data/Product/Base.hs b/MAlonzo/Code/Data/Product/Base.hs
diff --git a/MAlonzo/Code/Data/Product/Ext.hs b/MAlonzo/Code/Data/Product/Ext.hs
diff --git a/MAlonzo/Code/Data/Product/Function/Dependent/Propositional.hs b/MAlonzo/Code/Data/Product/Function/Dependent/Propositional.hs
diff --git a/MAlonzo/Code/Data/Product/Function/NonDependent/Propositional.hs b/MAlonzo/Code/Data/Product/Function/NonDependent/Propositional.hs
diff --git a/MAlonzo/Code/Data/Product/Function/NonDependent/Setoid.hs b/MAlonzo/Code/Data/Product/Function/NonDependent/Setoid.hs
diff --git a/MAlonzo/Code/Data/Product/Nary/NonDependent.hs b/MAlonzo/Code/Data/Product/Nary/NonDependent.hs
diff --git a/MAlonzo/Code/Data/Product/Properties.hs b/MAlonzo/Code/Data/Product/Properties.hs
diff --git a/MAlonzo/Code/Data/Product/Properties/Ext.hs b/MAlonzo/Code/Data/Product/Properties/Ext.hs
diff --git a/MAlonzo/Code/Data/Product/Relation/Binary/Pointwise/NonDependent.hs b/MAlonzo/Code/Data/Product/Relation/Binary/Pointwise/NonDependent.hs
diff --git a/MAlonzo/Code/Data/Product/Relation/Unary/All.hs b/MAlonzo/Code/Data/Product/Relation/Unary/All.hs
diff --git a/MAlonzo/Code/Data/Rational.hs b/MAlonzo/Code/Data/Rational.hs
diff --git a/MAlonzo/Code/Data/Rational/Base.hs b/MAlonzo/Code/Data/Rational/Base.hs
diff --git a/MAlonzo/Code/Data/Rational/Properties.hs b/MAlonzo/Code/Data/Rational/Properties.hs
diff --git a/MAlonzo/Code/Data/Rational/Unnormalised/Base.hs b/MAlonzo/Code/Data/Rational/Unnormalised/Base.hs
diff --git a/MAlonzo/Code/Data/Rational/Unnormalised/Properties.hs b/MAlonzo/Code/Data/Rational/Unnormalised/Properties.hs
diff --git a/MAlonzo/Code/Data/Record.hs b/MAlonzo/Code/Data/Record.hs
diff --git a/MAlonzo/Code/Data/Refinement.hs b/MAlonzo/Code/Data/Refinement.hs
diff --git a/MAlonzo/Code/Data/Relation/Nullary/Decidable/Ext.hs b/MAlonzo/Code/Data/Relation/Nullary/Decidable/Ext.hs
diff --git a/MAlonzo/Code/Data/Sign.hs b/MAlonzo/Code/Data/Sign.hs
diff --git a/MAlonzo/Code/Data/Sign/Base.hs b/MAlonzo/Code/Data/Sign/Base.hs
diff --git a/MAlonzo/Code/Data/Sign/Properties.hs b/MAlonzo/Code/Data/Sign/Properties.hs
diff --git a/MAlonzo/Code/Data/String.hs b/MAlonzo/Code/Data/String.hs
diff --git a/MAlonzo/Code/Data/String/Base.hs b/MAlonzo/Code/Data/String/Base.hs
diff --git a/MAlonzo/Code/Data/String/Properties.hs b/MAlonzo/Code/Data/String/Properties.hs
diff --git a/MAlonzo/Code/Data/Sum.hs b/MAlonzo/Code/Data/Sum.hs
diff --git a/MAlonzo/Code/Data/Sum/Algebra.hs b/MAlonzo/Code/Data/Sum/Algebra.hs
diff --git a/MAlonzo/Code/Data/Sum/Base.hs b/MAlonzo/Code/Data/Sum/Base.hs
diff --git a/MAlonzo/Code/Data/Sum/Effectful/Left.hs b/MAlonzo/Code/Data/Sum/Effectful/Left.hs
diff --git a/MAlonzo/Code/Data/Sum/Function/Propositional.hs b/MAlonzo/Code/Data/Sum/Function/Propositional.hs
diff --git a/MAlonzo/Code/Data/Sum/Function/Setoid.hs b/MAlonzo/Code/Data/Sum/Function/Setoid.hs