Data pipes (Iteratees) in Typed Racket.