newtype Program = Program [Global] [Function]
I am parsing a source file with C-like syntax in Haskell, where global variables and functions are present
