マクロと違って型で挙動変えられるのが美味しいのに