Fusing Functor-general effectful streams.
ST-style mutation for effectful.
Unboxed variables for `Prim` values.