head :: Monad m => Int -> Pipe a a m ()