なるほど、大学は卒業したら終わりではなく、卒業生にもサービスを提供しているんですね。京都は観光客が殺到して宿泊施設の値段が暴騰しているようですが、京大のあたりの住居はそれほどでもないかもしれません。でないと学生が生活できませんし。

有効な学生証がないと入れなくないですか？だいぶ昔ですが、附属図書館は休学期間中は入れませんでしたよ。学部に入り直せば4留で8年間利用できますが。

Google のNotebookLM でドキュメントの要約ができますよ。ChatGPTやcodexでもできるかもしれませんが。要約させてみて、既知の内容だったら飛ばしてよいのでは。

必要なのはHaskellではなく型理論の知識でしょうね。TaPLという本が有名です

アプリケーション実装言語としての実用性なら、Erlang VM 系の言語（Elixirとか）か、TypeScript でもやっておけばいいんじゃないかと思いますが、言語としての学びはあまりないと思います。
Haskell が実用的かというと、もちろんLeanよりは成熟していますが、TIOBE Indexでの相対的な人気は近年下降し続けています。サーバーサイド言語とてRust の代わりに選ばれるのは難しいかと。
Leanをおすすめしたのは、Haskell よりは話題性・伸びしろがあります。形式手法（TLA+とか）は分散システムで重要度を増しているので抑えておくといいのでは。

今ならHaskellよりはLean 4ですね。定理証明系の中で現在最も活発に開発されています。
なぜ証明が重要かというのは以下の記事にあります（Idrisも定理証明系の一つです）
kevinmahoney.co.uk/articles/tes...

社会人になってから始めた、経歴の浅い趣味登山者かもしれません。競技ではなく趣味としての登山は、高給取りの間で人気です。会社によっては社内行事にもあります。夏季休暇期間中に非日常を満喫しようとしたのでしょう。