Corion: note that the two packages are sitting in the same module file.Like I said, it's not straightforward to export from a package which sits lower in a module. Please try to run this module: it doesn't work - it gives errors: