>>476
俺もそれの必要性が理解出来てない一人。
add2 y = add 2 y
で良い気がする。
しかも
div x y = x / y
half x = div x 2
と同じことが出来ないと思うし。