I think that's a design goal. The idea is to pipe IO streams and not arbitrary streams, which seems to make for a much less complicated machinery (just look at

I think that's a design goal. The idea is to pipe IO streams and not arbitrary streams, which seems to make for a much less complicated machinery (just look at the types signatures from pipes :) ). It's a viable design choice, but it certainly has drawbacks as well.