モナドって何ですか？のガイドライン

でちまるさん（実際かわいい） @decimalbloat

「モナドって何？」「じゃあ、お前は「自然数って何？」って聞かれたらどう答える？」とでも聞いて、それと同型な答えかたをすればいいのではないだろうか！

スマートコン @mr_konn

@decimalbloat 「自然数は……自然な数だよ！」

スマートコン @mr_konn

コーヒー飲むと死にたくなる

でちまるさん（実際かわいい） @decimalbloat

@mr_konn 「じゃあモナドはモなドだ！」

スマートコン @mr_konn

@decimalbloat 「なるほど！」

スマートコン @mr_konn

山本モナド

スマートコン @mr_konn

「自然数って何？」「全ての自然数nについて後者n'が存在して、どの数の後者にもならない0があって、命題p(x)についてp(0)かつ(p(n)⇒p(n'))なら全てのnについてp(n)が成り立ってて……」

でちまるさん（実際かわいい） @decimalbloat

自然数および自然数に関することに対応付けながらモナド、モナドに関することを説明すれば、分かってもらえなくても、ループはしないんじゃないかと思った。