Gabriel439/Haskell-Pipes-Library — Issue #8: pipe composition  types aren't general enough!
Author: cartazio
Created: 2012-02-16 18:49:41+00:00
State: open

I think that the operator
>+> should have type (Pipe a b m r1)-> (Pipe b c m r2) -> (Pipe a c m r2)
and likewise for the other compose operations. Otherwise the pipe types are too rigid I think... and many "obvious" programs become more complicated. Is there a way of modifying pipes to support this?

(i'm currently using the github 1.1 version, but I think this problem applies to both version uniformly)