A module containing some useful type synonyms for dealing with channels.

If you get a type error such as:

    Ambiguous type variables `r', `w' in the constraint:
      `Channel r w' arising from a use of `newChannel' at tmp.hs:3:24-33
    Probable fix: add a type signature that fixes these type variable(s)

Then you may want to substitute your use of newChannel for oneToOneChannel (if you are not using channel sharing).

All the functions here are equivalent to newChannel (or newChannelWithLabel), but typed. So for example, oneToOneChannel = newChannel :: MonadCHP m => m OneToOneChannel.