simplifies TypeApply handling