higherKinds

fromScalaConsole.scala

import scala.language.higherKinds

trait MaybeEmpty[T[_]] {
    def isEmpty(thing: T[_]): Boolean
}

implicit def optionMaybeEmpty[O[_] <: Option[_]] = new MaybeEmpty[O] {
    def isEmpty(thing: O[_]) = thing.isEmpty
}

def doNotEmpty[T[_]](thing: T[_])(implicit m: MaybeEmpty[T]) = {
    val emptyStr = if(m.isEmpty(thing)) "empty" else "not empty"
    println(s"$thing is $emptyStr")
}

doNotEmpty(None)

doNotEmpty(Some(1))