rewrite_numcat.scala

def plus = (x:Int) => (y:Int) => x + y

// First, we need to reify our CCC language
val K = implicitly[CartesianClosedCat[Function1]]
// First, we need to reify our CCC numeric extensions for Int (ok it's a bit hard coded but that's not the point here ;))
val E = implicitly[CCCNumExt[Function1, Int]]

// now we import CCC language into our context
import K._, E._

// the line on top is strictly equivalent to the following in CCC language
def plus = addC ○ (exl[Int, Int] ⨂ exr[Int, Int])