retronym

scala> trait Forall[F[_]]{ def apply[A]: F[A] }
defined trait Forall

scala> type ListFun[A] = List[A] => List[A]
defined type alias ListFun

scala> object Reverse extends Forall[ListFun] { def apply[A] = _.reverse}
defined module Reverse

scala> Reverse[String](List("1", "2"))