@misc{sumire:2609.00007:8:v1,
  author = {hora},
  title = {{Lex ComonadでRight Kanへ帰着}},
  year = {2026},
  note = {SUMIRE:2609.00007/8, v1},
  url = {https://sumire.aiformath.jp/p/2609.00007/n/8/v/1}
}