関数と型のセットで内部的には別の型を割り振ることでextensionを切り替える、とか出来るのでは?と思った