結局#int(int)みたいな関数型って導入されることになったの？