Haskell である日突然視界が開けるようになるためには型システムを理解しないとね。

宣言的とか関係ないんじゃね？