I agree. but we get phillip wadler's list comprehensions