clean up demo code

[coq-hetmet.git] / examples / GArrowTikZ.hs

diff --git a/examples/GArrowTikZ.hs b/examples/GArrowTikZ.hs
index c094892..819ca1d 100644 (file)
--- a/examples/GArrowTikZ.hs
+++ b/examples/GArrowTikZ.hs
@@ -485,11 +485,11 @@ toTikZ g =
            }
      
 
-tikz ::
+tikz :: forall c .
     (forall g .
              (Int -> PGArrow g (GArrowUnit g) Int) ->
-             (forall b . PGArrow g (GArrowTensor g b b) b) ->
-             PGArrow g b c)
+             (PGArrow g (GArrowTensor g c c) c) ->
+             PGArrow g c c)
      -> IO ()
 tikz x = tikz' $ optimize $ unG (x (\c -> PGArrowD { unG = GAS_const c }) (PGArrowD { unG = GAS_merge }))