Exporting a functional module

You can export a functional module.