the description for this gist

post.scala

@module trait AllTheMath {
  val basic: BasicMath
  val high: HighMath

  def squareOfSum(a: Int, b: Int) =
    for {
      sum <- basic.add(a, b)
      square <- high.power(sum, 2)
    } yield square
}