shapeless

Function1:

val f: A => B = ???

Natural Transformation:

val nat: F ~> G
or 
val nat: F[A] => G[A]