travisbrown

import scala.language.experimental.macros
import scala.language.higherKinds
import scala.reflect.macros.Context

object MacroSAM {
  def sam[F[_, _], A, B](f: A => B) = macro sam_impl[F, A, B]
  
  def sam_impl[F[_, _], A: c.WeakTypeTag, B: c.WeakTypeTag](c: Context)
    (f: c.Expr[A => B])(implicit tag: c.WeakTypeTag[F[_, _]]) = {
    import c.universe._