User blog comment:TristanLambert/The Extension Function/@comment-31966679-20180621201643

There has to be a way to define extended like what if there were no utter oblivion or what would be the extension to Rayo's function or Little Biggeton?

You have to make it so extension can be applied to any function. Which means that you have to define Extension(n, function)