キャストのpostfix operator作って左辺値型推論させるのも綺麗にできそうですね