そもそも関数型言語という言い方も誤解を招く要因
関数を型として扱えますよ何言ってんのと返されるだけ