(module Type_abstract)