[+] def apply ( thistpe: Type , supertpe: Type ) ( implicit ctx: Context ) : Type

[+] def unapply ( x$1: SuperType ) : SuperType