Completion: for extension functions unsubstituted receiver type shown