eq? => identical?
Make list a type of one parameter