-- Incremented when going inside a bracket,
-- decremented when going inside a splice
-- NB: ThLevel is one greater than the 'n' in Fig 2 of the
-- Incremented when going inside a bracket,
-- decremented when going inside a splice
-- NB: ThLevel is one greater than the 'n' in Fig 2 of the
impLevel, topLevel :: ThLevel
topLevel = 1 -- Things defined at top level of this module
impLevel, topLevel :: ThLevel
topLevel = 1 -- Things defined at top level of this module