最近の型推論のある関数型言語に触っちゃうとLispは不便に感じる