import Control.Category
import GArrowTikZ
+import GHC.HetMet.Private
+import GHC.HetMet.GArrow
import Demo
+{-
+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