[+] def apply ( elem: Type ) ( implicit ctx: Context ) : Type

[+] def unapply ( tp: Type ) ( implicit ctx: Context ) : Option [ Type ]