pipe (racket): Iteratees in Typed Racket.
Keywords: control|iteratee