cycleもどきをScalaでいい感じにしたい

Test.scala

class Stream[A] {}

class VNode[M] {}

// tagless finalでとりあえずMonad制約つける感じでEffect制約つけると合成とかできて便利だよみたいなあれ
trait Effect[A] {
  def zero: A;
  def merge(x: A, y: A): A;
  // mergeの中で自動的にisolateする感じでもいい気はする？
  // そしたらこれMonoidじゃん。可換Monoidでもよさそ
  // でもisolateせずにマージするパターンもあるしうーん
  def isolate(a: A): A;
}

trait HttpEffect[A] {
  def response: Stream[String]
  def get(url: Stream[String]): A;
}

trait StateEffect[S, A] {
  def state: Stream[S];
  def reducer(f: Stream[S => S]): A
}

trait DomEffect[M, A] {
  def msgs: Stream[M];
  def vnode(vnode: Stream[VNode[M]])
}

object Child1Component {
  def apply[A: Effect](): A = ???
}

object Child2Component {
  def apply[A: Effect](): A = ???
}

object RootComponent {
  def apply[A: Effect](): A = ???
}