Dynamic Monad.scala

object Example extends App {
  def DynamicOption(value: DynamicType) = Option(value)
  val a = DynamicOption(1)
  val b = DynamicOption("hello")

  val result: Option[DynamicType] =
    for {
      aa <- a
      bb <- b
    } yield {
      aa + bb
    }


  // Mock dynamic type system
  implicit def intToDynamic(i: Int): DynamicType = DynamicType(i)
  implicit def stringToDynamic(s: String): DynamicType = DynamicType(s)

  case class DynamicType(value: Any) {
    implicit def anyToString(a: Any): String = a.asInstanceOf[String]
    implicit def anyToInt(a: Any): Int = a.asInstanceOf[Int]

    def +(other: DynamicType): DynamicType = {
      DynamicType(value + other)
    }
  }
}