A test file for the modules with type specification