lispのクロージャ（自作）関数にも型が欲しいと思わない？