hugoferreira

import scala.util.Random

object PStack {
  type Any = PStack[_, _]
}

sealed trait PStack[A, B <: PStack.Any] {
  def ++[C, D <: PStack.Any](op: Op[A, B, C, D]): PStack[C, D] = op.execute(this)
}