Added more tests for parametric non-arrow types (list)