sugared ranges
fix annotated flatMap type