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