(module Type_generic)