-- (always >= 0)
-- Incremented when going inside a bracket,
-- decremented when going inside a splice
-- (always >= 0)
-- Incremented when going inside a bracket,
-- decremented when going inside a splice
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