第1部な割にはペースが遅いので、ペースアップしていきます。 型 関数の型宣言は、以下のような形式。 関数名 :: 引数の型1 -> 引数の型2 -> ... -> 戻り値の型型が任意の型で良い時は、多相型の変数を使う。例えば、 map :: (a -> b) -> a -> b代表的な型は…