-{-# OPTIONS_GHC -dcore-lint #-}
import Control.Category
-import GHC.HetMet.GArrow
-import GHC.HetMet.CodeTypes
-import GHC.HetMet.Private
import GArrowTikZ
+import GHC.HetMet.Private
+import GHC.HetMet.GArrow
import Demo
-main = tikz' $ \const merge -> foo const merge
+{-
+demo' ::
+ (Int -> PGArrow g (GArrowUnit g) (GArrowTensor g (GArrowUnit g) Int) ) ->
+ ( PGArrow g (GArrowTensor g (GArrowTensor g Int Int) (GArrowUnit g)) Int) ->
+ (PGArrow g (GArrowUnit g) (GArrowTensor g (GArrowUnit g) Int) )
+demo' = demo
+-}
+
+main = tikz $ \const merge -> demo const merge