-- | Are we type-checking at the top level, or are we inside a nested
-- module?
atTopLevel :: TypeM Bool
atTopLevel = asks contextAtTopLevel
atTopLevel :: TypeM Bool
atTopLevel = asks contextAtTopLevel
atTopLevel = asks contextAtTopLevel