text: We also show that : Supporting full unification is costly ; Full unification is not used frequently ; A combination of [[ compile time ]] and run time checks can determine when << full unification >> is not needed .