Abstract Data Typelist Applications