-------------------------------------
		Main module exports
	-------------------------------------

Make it so that

   	    module Main where ....

exports everything defined in Main, as the report says it should.