import Control.Category import GArrowTikZ import GHC.HetMet.Private import Control.GArrow import Demo main = tikz demo