Parametricity.scala

package datastructures

object Parametricity:
  // with our compiler settings from build.sbt, there are even less
  // possibilities to do something wrong here without the compiler complaining
  def para[A,B,C](a: A, b: B)(f: (A,B) => C): C = ???