1 import Control.Category
3 import GHC.HetMet.Private
4 import GHC.HetMet.GArrow
9 (Int -> PGArrow g (GArrowUnit g) (GArrowTensor g (GArrowUnit g) Int) ) ->
10 ( PGArrow g (GArrowTensor g (GArrowTensor g Int Int) (GArrowUnit g)) Int) ->
11 (PGArrow g (GArrowUnit g) (GArrowTensor g (GArrowUnit g) Int) )
15 main = tikz $ \const merge -> demo const merge