CleanやHaskellがものすごく柔軟な記法を実現できている理由

って、強い型付けと型推論のおかげかな?