identifier-list : type type;introduces the identifiers as synonyms for the given type. Type declarations are transparent. Therefore, an object declared with the newly-named type has the same type as the one it abbreviates. Synonyms for function types can only be used to declare functions within module and adt declarations.