Num a => aはrigidじゃない。
数値型はたくさんあるから。