withConnectionTo type generalized
withConnectionTo type generalized

It can now give `m t` rather than `m ()`.

input-output-hk/cardano-sl,input-output-hk/cardano-sl,input-output-hk/cardano-sl,input-output-hk/pos-haskell-prototype,input-output-hk/pos-haskell-prototype,input-output-hk/pos-haskell-prototype,input-output-hk/cardano-sl,serokell/tw-rework-sketch