1 {-# OPTIONS_GHC -XRankNTypes -XScopedTypeVariables -XFlexibleContexts -XModalTypes -XKindSignatures -fcoqpass -XMultiParamTypeClasses -dcore-lint #-}
2 import GHC.HetMet.GArrow
3 import GHC.HetMet.CodeTypes
4 import GHC.HetMet.Private
9 main = tikz' $ pga_flatten . foo . pga_unflatten