このコードが（Read aをつけると）なんで動くのかが分からなくて、Geminiに聞いてみた。defaulting rules というのがあって、型変数が曖昧で、かつその型変数に数値クラス（Num, Floating, RealFloatなど）の制約がある場合、Integer、Doubleの順番で型が当てはまるか試してみるらしい。うーん複雑。でも勉強になった。

https://gemini.google.com/share/968ca46cd9e9

nostr:nevent1qvzqqqqqqypzpe30ylfgzj39zuwyvmfdwcf26xsxdkcnv26wykwmtsrkl8nty89hqy28wumn8ghj7un9d3shjtnyv9kh2uewd9hszrthwden5te0dehhxtnvdakqzrthwden5te009skyafwd4jsqgpgn3wceaek7t2a2xnh72a85f7072v56zxqvt3xjskwpfzurn6w4gdk20qc

nostr:nevent1qvzqqqqqqypzpe30ylfgzj39zuwyvmfdwcf26xsxdkcnv26wykwmtsrkl8nty89hqy28wumn8ghj7un9d3shjtnyv9kh2uewd9hszrthwden5te0dehhxtnvdakqzrthwden5te009skyafwd4jsqgz50lnj7u2f0370vjdh69cusjhla0eeen0s0x6kgmdkwlpwd3wvrvcrm2zs