+{-
+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
+-}
+