[ TopLevelScope
    ModuleDef
      { moduleName = Ident "hello" , moduleArgs = [] , moduleBody = [] }
, TopLevelScope (Module (Ident "hello") [] Nothing)
]