Write specifications for Enumerable