[+] def apply ( tycon: Type , args: List [ Type ] ) ( implicit ctx: Context ) : CachedHKApply

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