Jacques Comeaux

It seems that simply unlinking the old ssrc pad and linking the new one results in a working audio stream every time. I'm not sure if that would break something...

Upon further inspection, `Categories.Functor.Monoidal.Construction.Product` does have equational proofs in record fields, but it doesn't seem particularly offensive in terms of lines of haskell, typechecking time, or readability. So I think...

Will update this soon. Do copatterns provide "enough insulation"? Or do the proofs still need to be extracted and given a name and type signature when using copatterns?