よくある乱用・略記

1. カリー化：
2. 引数なし関数： f() = f(*) = f( () )
3. 要素とポインティングマップ： a = a() = a(*)
4. タプルと関数：
5. 要素と単元集合の意図的混同
6. 要素と単元リストの意図的混同
7. 引数内の囲み括弧省略： f( (x, y) ) = f(x, y)
8. ニセの和（区切り記号としてのプラス）とホントの和（演算、または演算結果）
9. 連接（演算記号）とカンマ（区切り記号）のゲンツェン流乱用
10. リストの囲み括弧省略、これもゲンツェン流

参照：Breaking Gentzen's bad habit - (新) 檜山正幸のキマイラ飼育記 メモ編