modules for travels in type