visible :: Namespace -> VName -> FileModule -> Bool
visible ns vname@(VName name _) (FileModule env _)
  | Just vname' <- M.lookup (ns,name) (envNameMap env)
  = vname == vname'
visible :: Namespace -> VName -> FileModule -> Bool
visible ns vname@(VName name _) (FileModule env _)
  | Just vname' <- M.lookup (ns,name) (envNameMap env)
  = vname == vname'
visible ns vname@(VName name _) (FileModule env _)
  | Just vname' <- M.lookup (ns,name) (envNameMap env)
  = vname == vname'