Haskellではa->b->c は常にa->(b->c)であって
（nullary constructorをとりあえず脇に措けば）
普通の関数のアリティは本質的に1だけだ。