(module Type_immediacy)