Test case for type list cons