tests for lists of types