Gemini に「Agda を学べば Haskell のコードは 8 割方読めるし、逆もまた同様」と言われたのだけど、本当かしら