fixes list equality (adds equality for type constructors without type parameter)