diff --git a/requirements.cabal b/requirements.cabal
--- a/requirements.cabal
+++ b/requirements.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                requirements
-version:             0.7.0.0
+version:             0.7.0.1
 synopsis:            Abstraction to manage user defined Type Errors
 description:         requirements is a framework to build user-defined type errors.
                      Users condense the arguments of functions that can raise a
@@ -23,6 +23,6 @@
   exposed-modules:     Data.Type.Require
   other-modules:       Figures, Vector
   -- other-extensions:
-  build-depends:       base >=4.12 && <4.17
+  build-depends:       base >=4.12 && <4.18
   hs-source-dirs:      src
   default-language:    Haskell2010
diff --git a/src/Figures.lhs b/src/Figures.lhs
--- a/src/Figures.lhs
+++ b/src/Figures.lhs
@@ -8,7 +8,8 @@
 > {-# LANGUAGE MultiParamTypeClasses #-}
 > {-# LANGUAGE TypeApplications #-}
 > {-# LANGUAGE ScopedTypeVariables #-}
-> {-# LANGUAGE AllowAmbiguousTypes #-} -- this is for the colour c
+> {-# LANGUAGE AllowAmbiguousTypes #-}
+> {-# OPTIONS -Wno-missing-methods #-}
 
 > module Figures where
 
@@ -144,4 +145,7 @@
 > traceFig fctx (CFigure f) = CFigure $ f . fctx
 
 
-> g = combine'' (tr $ tr f) (tr $ tr f'') -- (tr $ tr $ tr $ combine'' f f) f''
+
+Error:
+
+ > g = combine'' (tr $ tr f) (tr $ tr f'') -- (tr $ tr $ tr $ combine'' f f) f''