User blog comment:Mango523WNR/Question(GMT 10:2x Feb 11)/@comment-43798125-20200211134619/@comment-30279966-20200213122030

Sure. Also, probably we need a category for functions which are naive extensions.