Yes thus feels like functional programming and you kind of get this for free using predicates and Haskells lazy evaluation. Infact the list comprehensions are similar and of course what are they... they are sugar for the list monad.